B. Ernesto and M. Raúl, “Real-Time Verification of Integrity Policies for Distributed Systems”, JART, vol. 11, no. 6, Dec. 2013.