@conference {58,
	title = {mctau: Bridging the Gap between Modest and UPPAAL},
	booktitle = {Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings},
	volume = {7385},
	year = {2012},
	pages = {227-233},
	publisher = {Springer},
	organization = {Springer},
	isbn = {978-3-642-31758-3},
	doi = {10.1007/978-3-642-31759-0_16},
	author = {Jonathan Bogdoll and Alexandre David and Arnd Hartmanns and Holger Hermanns}
}