Formal design of distributed control systems with Lustre. (1999)

by P Caspi, C Mazuet, R Salem, D Weber
Venue:In Proc. Safecomp’99,