“Formal Verification of a UPPAALbased Garage Control System”. 2022. Eurasian Journal of Engineering and Technology 7 (July): 91-97. https://geniusjournals.org/index.php/ejet/article/view/1803.