Axel Legay: Extrapolating (omega-)regular model checking. Int. J. Softw. Tools Technol. Transf. 14(2): 119-143 (2012)