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