Bilal Abdullateef Kareem, and Dr. Ahmad Senjari. “Formal Verification of a UPPAALbased Garage Control System”. Eurasian Journal of Engineering and Technology 7 (July 1, 2022): 91–97. Accessed March 29, 2025. https://geniusjournals.org/index.php/ejet/article/view/1803.