BILAL ABDULLATEEF KAREEM; DR. AHMAD SENJARI. 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://geniusjournals.org/index.php/ejet/article/view/1803. Acesso em: 30 mar. 2025.