@article{HCR+91b,
title = {Programmation et V\'erification des syst\`emes r\'eactifs: Le langage \lustre },
author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
year = {1991},
journal = {Technique et Science Informatique},
number = {2},
pages = {139--158},
volume = {10},
team = {SYNC},
}