Bilal Abdullateef Kareem, & Dr. Ahmad Senjari. (2022). Formal verification of a UPPAALbased garage control system. Eurasian Journal of Engineering and Technology, 7, 91–97. Retrieved from https://geniusjournals.org/index.php/ejet/article/view/1803