El modelo de máquinas de estados es el más complejo de los que integran el lenguaje UML, base actual de la docencia en la mayoría de las asignaturas de Ingeniería del Software. La complejidad (y la consiguiente dificultad ...