@InBook{Willig1995,
  author    = {Andreas Willig and Ina Kathrin Schieferdecker},
  booktitle = {Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).},
  title     = {Specifying and Verifying the Steam-Boiler Control System with Time Extended {LOTOS}},
  doi       = {10.1007/BFb0027250},
  pages     = {473--492},
  publisher = {Springer Science and Business Media},
  abstract  = {The paper presents a specification of the steam boiler system in Time Extended LOTOS as an example to describe real-time, hybrid systems containing parts with discrete and continuous behavior in a time extended process-algebraic formalism. The specification has been developed in three design steps -- the specification of functional behavior in LOTOS, the specification of timed behavior in TE-LOTOS (a time extension of LOTOS), and the specification of data dependencies in TE-LOTOS with Gofer (a functional language). The resulting specification is modular, succinct, and easy to read. Most importantly, it is an implementation-near specification. It offers means for logical reasoning on the system properties, for stepwise refinement, simulation and prototyping of the system.},
  file      = {:1995/Willig1995 - Specifying and Verifying the Steam Boiler Control System with Time Extended LOTOS.pdf:PDF},
  type      = {inbook},
  year      = {1995}
}