Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL | Publicación