@inproceedings{CAiSE-2015-EstanolST,
	author        = "Montserrat Estañol and Maria-Ribera Sancho and Ernest Teniente",
	booktitle     = "{Proceedings of the 27th International Conference on Advanced Information Systems Engineering}",
	doi           = "10.1007/978-3-319-19069-3_27",
	isbn          = "978-3-319-19068-6",
	pages         = "434--449",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Verification and Validation of UML Artifact-Centric Business Process Models}",
	volume        = 9097,
	year          = 2015,
}