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