Ernesto, B., & Raúl, M. (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