@inproceedings{RHR91,
title = {Programming and verifying critical systems by means of the synchronous data-flow programming language {\sc Lustre} },
author = {Ratel, Christophe and Halbwachs, Nicolas and Raymond, Pascal},
month = {dec},
year = {1991},
booktitle = {ACM-SIGSOFT'91 Conference on Software for Critical Systems},
address = {New Orleans},
team = {SYNC},
}