@proceedings {9844,
	title = { Implementing hierarchical hybrid automata using constraint logic programming},
	journal = {Proceedings of 22nd Workshop on (Constraint) Logic Programming},
	year = {2008},
	pages = {60-71},
	address = {Dresden, Germany},
	author = {Ammar Mohammed and Frieder Stolzenburg}
}
