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