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