Automatic Testing of Reactive Systems. - Pascal Raymond; Xavier Nicollin; Nicolas Halbwachs; Daniel Weber 017 (RTSS, 1998)

Formal Design of Distributed Control Systems with Lustre. - Paul Caspi; Christine Mazuet; Rym Salem; Daniel Weber 017 (SAFECOMP, 1999)