Brázdil, T., & Černá, I. (2006). Model Checking of RegCTL. Computing and Informatics, 25(1), 81–97. https://cai.type.sk/content/2006/1/model-checking-of-regctl/