Steam-Boiler Control Specification Problem

The following speci cation problem is suggested to the participants of the Dagstuhl Meeting Methods for Semantics and Speci cation organized jointly with Egon B orger Pisa and Hans Langmaack Kiel for the week from June