@incollection{BeierleBoergerDurdanovic_et_al_96_LNCS,
   AUTHOR = "C. Beierle and E. B{\"o}rger and
	I. Durdanovic and U. Gl{\"a}sser and E. Riccobene",
   TITLE = "Refining Abstract Machine Specifications of the Steam Boiler
            Control to Well Documented Executable Code",
   BOOKTITLE="Formal Methods for Industrial Applications",
   BOOKSUBTITLE="Specifying and Programming the Steam Boiler Control",
   EDITOR="J.-R. Abrial and E. B{\"o}rger and H. Langmaack",
   PUBLISHER={Springer-Verlag},
   ADDRESS="Berlin",
   SERIES="Lecture Notes in Computer Science",
   VOLUME = 1165,
   ISBN="3-540-61929-1",
   YEAR = 1996,
   PAGESnnn="--"}