“Formal verification of a UPPAALbased garage control system”, Euro.Jour.Eng. Tech, vol. 7, pp. 91–97, Jul. 2022, Accessed: Jan. 18, 2026. [Online]. Available: https://geniusjournals.org/index.php/ejet/article/view/1803