@inbook{BrSc08,
  key         ={BrSc08},
  author      ={J. Brandt and K. Schneider},
  title       ={Embedded Systems: Status and Perspective},
  chapter     ={A Verified Polygon-Processing Library for Safety-Critical Embedded Systems},
  publisher   ={American Scientific Publishers},
  pages       ={},
  year        ={2008},
  remark      ={rsg}
}