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