Estoy intentando desarrollar un modelo de máquina de estado para mi diseño de firmware actual. Busqué en google, pero las explicaciones no están relacionadas con el sistema integrado. ¿Puede sugerir algún método para estudiar el desarrollo de diagramas de estado para sistemas integrados?