Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).

Jean-Raymond Abrial Egon Börger Hans Langmaack Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Formal Methods for Industrial Applications Lecture Notes in Computer Science 1165 Springer 1996 3-540-61929-1 db/conf/dagstuhl/fm1995.html