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 April 28, 2024. https://jart.icat.unam.mx/index.php/jart/article/view/256.