Ernesto, Buelna, and Monroy Raúl. 2013. “Real-Time Verification of Integrity Policies for Distributed Systems”. Journal of Applied Research and Technology 11 (6). https://doi.org/10.1016/S1665-6423(13)71589-X.