@inbook{BrSc07,
  key         ={BrSc07},
  author      ={J. Brandt and K. Schneider},
  title       ={Advances in Design and Specification Languages for Embedded Systems},
  chapter     ={Different Kinds of System Descriptions as Synchronous Programs},
  editor      ={S.A. Huss},
  publisher   ={Springer},
  pages       ={243-263},
  year        ={2007},
  note        ={ISBN: 978-1-4020-6147-9},
  remark      ={rsg}
}