Robert Büssow Matthias Weber A Steam-Boiler Control Specification with Statecharts and Z. 109-128 1995 conf/dagstuhl/1995fm Formal Methods for Industrial Applications db/conf/dagstuhl/fm1995.html#BussowW95