@conference { Ara.Mor.emmsad05,
	title = {Integrating UML Activity Diagrams with Temporal Logic Expressions},
	booktitle = {10th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2005),},
	year = {2005},
	note = {<p>n/a</p>
},
	publisher = {FEUP},
	organization = {FEUP},
	abstract = {<p>n/a</p>
},
	author = {J. Ara{\'u}jo, and A. Moreira}
}
