A Refined FSM Procedure for Real-Time Embedded Software Requirements Expressed using the Simulink Model (slides)

Soubra, H., Abran, A., Ramdane-Cherif, A.