Michel Bidoit Claude Chevenier Christine Pellen Jérôme Ryckbosch An Algebraic Specification of the Steam-Boiler Control System. 79-108 1995 conf/dagstuhl/1995fm Formal Methods for Industrial Applications db/conf/dagstuhl/fm1995.html#BidoitCPR95