@article {136077,
	title = {A MODEL CHECKER FOR EPISTEMIC HYBRID AUTOMATA USING CONSTRAINTS LOGIC PROGRAMMING},
	journal = {International Journal of Information Technology and Computer Science},
	volume = {8},
	year = {2017},
	pages = {125 - 131},
	author = {Rana Mohamed and Ammar M.Ammar and Hesham A. Hefny}
}
