ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.

Matteo Pradella, Matteo Rossi, Dino Mandrioli

Browse the full FORTE paper archive.