Ernesto B, Raúl M. Real-Time Verification of Integrity Policies for Distributed Systems. JART [Internet]. 2013 Dec. 1 [cited 2024 Apr. 28];11(6). Available from: https://jart.icat.unam.mx/index.php/jart/article/view/256