Ingeniería de Sistemas Electrónicos (2018) Máquinas de estádo en C, sistemas electrónicos de tiempo real y verificación formal con SPIN Plataforma de desarrollo: Wemos D1 mini