A methodology for proving control systems with Lustre and PVS (1999)

by S Bensalem, P Caspi, C Parent-Vigouroux, C Dumas
Venue:In Proc. of Seventh Working Conference on Dependable Computing for Critical Applications (DCCA 7