Bilal Abdullateef Kareem; Dr. Ahmad Senjari. Formal Verification of a UPPAALbased Garage Control System. Euro.Jour.Eng. Tech 2022, 7, 91-97.