@inproceedings{Graaf:2007.mompes,
	author          = {B. Graaf and A. van Deursen},
	title           = {Model-Driven Consistency Checking of Behavioural Specifications},
	booktitle       = {Proceedings Fourth International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MOMPES 2007)},
	publisher       = {IEEE Computer Society},
	year            = {2007},
	editor          = {Joao M. Fernandes and Ricardo J. Machado and Ridha Khedri and Siobhan Clarke},
	pages           = {115-126},
	isbn            = {ISBN 0-7695-2769-8},
	url             = {http://www.st.ewi.tudelft.nl/~arie/papers/race/mompes2007.pdf},
	project         = {Merlin,Reconstructor},
	group           = {SE}
}