@article {,
	title = {Comparing model checkers for timed UML activity diagrams},
	journal = {Science of Computer Programming},
	volume = {111},
	year = {2015},
	pages = {277{\textendash}299},
	author = {Daw, Zamira and Cleaveland, Rance}
}
