@conference {DBLP:conf/ifip5-5/MoutinhoGBBRFCM11,
	title = {Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System},
	booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
	year = {2011},
	note = {n/a},
	pages = {237{\textendash}245},
	abstract = {n/a},
	doi = {10.1007/978-3-642-19170-1\_26},
	url = {https://doi.org/10.1007/978-3-642-19170-1\_26},
	author = {Filipe Moutinho and Lu{\'{\i}}s Gomes and Paulo E. S. Barbosa and Jo{\~a}o Paulo Barros and Franklin Ramalho and Jorge Figueiredo and Anik{\'o} Costa and Andr{\'e} Monteiro}
}
