@inproceedings{SAC-2009-AndradeMCNA,
	author        = "Ermeson Carneiro de Andrade and Paulo Romero Martins Maciel and Gustavo Rau de Almeida Callou and Bruno Costa e Silva Nogueira and Carlos Araújo",
	booktitle     = "{Proceedings of the 24th Symposium on Applied Computing}",
	doi           = "10.1145/1529282.1529364",
	editor        = "Sung Y. Shin and Sascha Ossowski",
	isbn          = "978-1-60558-166-8",
	pages         = "377--381",
	publisher     = "{ACM}",
	title         = "{Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints}",
	year          = 2009,
}