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