Bilal Abdullateef Kareem and Dr. Ahmad Senjari, “Formal verification of a UPPAALbased garage control system”, Euro.Jour.Eng. Tech, vol. 7, pp. 91–97, Jul. 2022.