Bilal Abdullateef Kareem and Dr. Ahmad Senjari (2022) “Formal verification of a UPPAALbased garage control system”, Eurasian Journal of Engineering and Technology, 7, pp. 91–97. Available at: https://geniusjournals.org/index.php/ejet/article/view/1803 (Accessed: 30 March 2025).