Brázdil, T. and Černá, I. 2012. Model Checking of RegCTL. Computing and Informatics. 25, 1 (Jan. 2012), 81–97.