Calau: An environment for modeling and analyzing embedded real-time systems.

Ermeson C. Andrade, Marcelo Alves, Bruno Nogueira, Paulo Romero Martins Maciel

Browse the full SMC paper archive.