@article {24318,
	title = {HRCTL: A Specification Logic for Hierarchical Hybrid Automata},
	journal = {Innovation in Computational Science, specia issue  to the International Journal of Advanced Studies in Computers, Science \& Engineering (IJASCSE)},
	volume = {2},
	year = {2013},
	pages = {14-23},
	author = {Ammar Mohammed}
}
