Model Checking Distributed Systems against Temporal-Epistemic Specifications - Griesmayer,A; Lomuscio,A (SPRINGER-VERLAG BERLIN, 2013)