Ermeson C. Andrade, Marcelo Alves, Bruno Nogueira e Silva Nogueira, Paulo Romero Martins Maciel. Calau: An environment for modeling and analyzing embedded real-time systems. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea (South), October 14-17, 2012. pages 3135-3140, IEEE, 2012. [doi]
Abstract is missing.