Formal Verification of a UPPAALbased Garage Control System. Euro.Jour.Eng. Tech 2022, 7, 91-97.