Ernesto, Buelna, and Monroy Raúl. “Real-Time Verification of Integrity Policies for Distributed Systems”. Journal of Applied Research and Technology 11, no. 6 (December 1, 2013). Accessed March 14, 2025. https://jart.icat.unam.mx/index.php/jart/article/view/256.