@inproceedings{ICEIS-ISAS-2010-MoralesTP,
	author        = "Luis E. Mendoza Morales and Manuel I. Capel Tuñón and María A. Pérez",
	booktitle     = "{Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3: ISAS}",
	isbn          = "978-989-8425-06-5",
	pages         = "113--122",
	publisher     = "{SciTePress}",
	title         = "{Compositional Verification of Business Processes Modelled with BPMN}",
	year          = 2010,
}