ERNESTO, B.; RAÚL, M. Real-Time Verification of Integrity Policies for Distributed Systems. Journal of Applied Research and Technology, [S. l.], v. 11, n. 6, 2013. DOI: 10.1016/S1665-6423(13)71589-X. Disponível em: https://jart.icat.unam.mx/index.php/jart/article/view/256. Acesso em: 28 apr. 2024.