LUCIO, Levi; ZHANG, Qin; SOUSA, Vasco; LE TRAON, Yves. Verifying Access Control in Statecharts. Electronic Communications of the EASST, [S. l.], v. 50, 2012. DOI: 10.14279/tuj.eceasst.50.739. Disponível em: https://eceasst.org/index.php/eceasst/article/view/1929. Acesso em: 12 apr. 2025.