Parallel Model Checking for Temporal Epistemic Logic - Kwiatkowska, M; Lomuscio, A; Qu, H (IOS PRESS, 2010)