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