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