Brázdil, T.; Černá, I. Model Checking of RegCTL. Comput. Inform. 2012, 25, 81-97.