Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code.

Christoph Beierle Egon Börger Igor Durdanovic Uwe Glässer Elvinia Riccobene Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. 52-78 1995 conf/dagstuhl/1995fm Formal Methods for Industrial Applications db/conf/dagstuhl/fm1995.html#BeierleBDGR95