Thierry Cattel Grégory Duval The Steam-Boiler Problem in Lustre. 149-164 1995 conf/dagstuhl/1995fm Formal Methods for Industrial Applications db/conf/dagstuhl/fm1995.html#CattelD95