Decentralized Runtime Verification for LTL Properties Using Global Clock. - M. Ali Dorosty; Fathiyeh Faghih; Ehsan Khamespanah (CoRR, 2019)