Cheng, A. Complexity Results for Model Checking. BRICS 1995, 2.