Bilal Abdullateef Kareem, Dr. Ahmad Senjari. Formal verification of a UPPAALbased garage control system. Euro.Jour.Eng. Tech [Internet]. 2022 Jul. 1 [cited 2025 Mar. 30];7:91-7. Available from: https://geniusjournals.org/index.php/ejet/article/view/1803