@inproceedings{EDOC-2013-NagelGEP,
	author        = "Benjamin Nagel and Christian Gerth and Gregor Engels and Jennifer Post",
	booktitle     = "{Proceedings of the 17th International Enterprise Distributed Object Computing Conference}",
	doi           = "10.1109/EDOC.2013.12",
	isbn          = "978-0-7695-5081-7",
	pages         = "17--26",
	publisher     = "{IEEE Computer Society}",
	title         = "{Ensuring Consistency among Business Goals and Business Process Models}",
	year          = 2013,
}