@article{journals/sigsoft/AmorimMNBT06,
	title = {Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems.},
	author = {Leonardo Amorim and Paulo Romero Martins Maciel and Meuse N. Nogueira Jr. and Raimundo Barreto and Eduardo Tavares},
	journal = {ACM SIGSOFT Software Engineering Notes},
	number = {3},
	pages = {1-25},
	url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft31.html#AmorimMNBT06},
	volume = {31},
	year = {2006},
	biburl = {http://www.bibsonomy.org/bibtex/2bf68bcd69ad74358009e7f781be213a0/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1127878.1127880}, date = {2008-05-07},
	keywords = {dblp }
}