Formal verification of a UPPAALbased garage control system. Eurasian Journal of Engineering and Technology, [S. l.], v. 7, p. 91–97, 2022. Disponível em: https://mail.geniusjournals.org/index.php/ejet/article/view/1803. Acesso em: 18 jun. 2026.