@inproceedings{BCD+99,
title = {A methodology for proving control systems with {Lustre} and {PVS} },
author = {Bensalem, Saddek and Caspi, Paul and Dumas, C\'ecile and Parent-Vigouroux, Catherine},
month = {january},
year = {1999},
booktitle = {Dependable {Computing} for {Critical} {Applications} {(DCCA7)}},
address = {San Jose},
team = {SYNC},
}
