A UML 2-compatible language and tool for formal modeling real-time system architectures.

Pietro Colombo, Matteo Pradella, Matteo Rossi

Browse the full SAC paper archive.