An Algebraic Specification of the Steam-Boiler Control System. - Michel Bidoit; Claude Chevenier; Christine Pellen; Jérôme Ryckbosch (Formal Methods for Industrial Applications, 1995)