Generalmente, los embedded systems se caracterizan por reaccionar continuamente ante estímulos internos y/o externos. Estas reacciones provocan una acción determinada, la cual está en función del contexto del sistema. A estos sistemas suele denominárselos Sistemas Reactivos. Tradicionalmente el comportamiento reactivo de un sistema, se describe por medio de la combinación de autómatas finitos Mealy/Moore, representados [...]