Formal verification of a UPPAALbased garage control system. Euro.Jour.Eng. Tech [Internet]. 2022 Jul. 1 [cited 2026 Jan. 18];7:91-7. Available from: https://geniusjournals.org/index.php/ejet/article/view/1803