Ernesto, B.; Raúl, M. Real-Time Verification of Integrity Policies for Distributed Systems. JART 2013, 11.