@inproceedings{LRD95,
title = {Formal verification of a critical system written in {\sc Saga/Lustre} },
author = {Lagnier, Fabienne and Raymond, Pascal and Dubois, Christian},
month = {february},
year = {1995},
booktitle = {Workshop on Formal Methods, Modelling and Simulation for System Engineering},
address = {St Quentin en Yvelines (France)},
team = {SYNC},
}