Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic - Lomuscio,A; Penczek,W; Qu,H (SPRINGER-VERLAG BERLIN, 2009)