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