Calau: An environment for modeling and analyzing embedded real-time systems. - Andrade, Ermeson C.; Alves, Marcelo; Nogueira, Bruno; Maciel, Paulo Romero Martins (2012)