| ## C The Steam-Boiler Control Specification Problem Michel Bidoit1 and Peter D. Mosses2 1 Laboratoire Spécification et Vérification, CNRS UMR 8643 École Normale Supérieure de Cachan 61, Avenue du Président Wilson, 94235 Cachan Cedex, France `bidoit@lsv.ens-cachan.fr` 2 University of Aarhus, BRICS and Department of Computer Science Aabogade 34, 8200 Aarhus N, Denmark `pdmosses@brics.dk` Abstract. For completeness, the text describing the steam-boiler control system case study, as originally provided by Jean-Raymond Abrial, is reproduced here (except for the "Additional Information" section, see [1, pp. 507-509]). LNCS 2900, pp. 211 - 219 Full article in PDF lncs@springer.de © Springer-Verlag Berlin Heidelberg 2004