Formal verification of a UPPAALbased garage control system. Euro.Jour.Eng. Tech. 2022;7:91-97. Accessed June 18, 2026. https://mail.geniusjournals.org/index.php/ejet/article/view/1803