T. Brázdil and I. Černá, “Model Checking of RegCTL”, Comput. Inform., vol. 25, no. 1, pp. 81–97, Jan. 2012.