TY  - SER
AU  - Halbwachs, Nicolas
AU  - Lagnier, Fabienne
AU  - Ratel, Christophe
TI  - Programming and Verifying Real-Time Systems by Means OfSysnchronous Data-Flow Language Lustre
KW  -  Formal Verification
KW  - Model Checking
KW  - Synchronous  Motor
ER  -