Formal Design of Distributed Control Systems with Lustre.

Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber

Browse the full SAFECOMP paper archive.