Bilal Abdullateef Kareem and Dr. Ahmad Senjari 2022. Formal verification of a UPPAALbased garage control system. Eurasian Journal of Engineering and Technology. 7, (Jul. 2022), 91–97.