Model Checking Epistemic Halpern-Shoham Logic Extended with Regular Expressions - Lomuscio, A; Michaliszyn, J (2015)