Cheng, A. (1995). Complexity Results for Model Checking. BRICS Report Series, 2(18). https://doi.org/10.7146/brics.v2i18.19920