Text this: Chequeo de modelos cuantitativos mediante teoría de autómatas /