Decentralized Runtime Verification of LTL Specifications in Distributed Systems. - Menna Mostafa; Borzoo Bonakdarpour (IPDPS, 2015)