@conference {DBLP:conf/ifip5-5/Campos-RebeloCG12,
	title = {Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms},
	booktitle = {Technological Innovation for Value Creation - Third {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings},
	year = {2012},
	note = {n/a},
	pages = {151{\textendash}160},
	abstract = {n/a},
	doi = {10.1007/978-3-642-28255-3\_17},
	url = {https://doi.org/10.1007/978-3-642-28255-3\_17},
	author = {Rog{\'e}rio Campos{-}Rebelo and Anik{\'o} Costa and Lu{\'{\i}}s Gomes}
}
@conference {recosoc/GomesM05,
	title = {Formal methods for Embedded Systems Co-design: the FORDESIGN project},
	booktitle = {ReCoSoC},
	year = {2005},
	note = {n/a},
	pages = {143-150},
	abstract = {n/a},
	author = {Lu\'{\i}s Gomes and Jo{\~a}o Paulo Barros and Anik{\'o} Costa and Rui Pais and Filipe Moutinho}
}
@conference {DBLP:conf/memocode/GomesC03,
	title = {From Use Cases to System Implementation: Statechart Based Co-design},
	booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings},
	year = {2003},
	note = {n/a},
	pages = {24{\textendash}33},
	abstract = {n/a},
	doi = {10.1109/MEMCOD.2003.1210083},
	url = {https://doi.org/10.1109/MEMCOD.2003.1210083},
	author = {Lu{\'{\i}}s Gomes and Anik{\'o} Costa}
}
