@book{615843,
	author = {Rahim, Muhammad Abdul Basit Ur  and Supervised by Dr. Fahim Arif},
	title = {Modeling and Verification of Real Time and Hybrid System /},
	publisher = {MCS (NUST),},
	year = {September 2017},
	address = {Rawalpindi, }
}