@article {137798,
	title = {A Model Checker for Epistemic Hybrid Automata  Using Constraints Logic Programming},
	journal = {International Journal of Computer Science and Information Technologies},
	volume = {8},
	year = {2017},
	pages = {125-131},
	author = {Ammar Mohammed and Rana Mohamed and Hesham Hefny}
}
