@inproceedings{ASSV07,
  key         ={ASSV07},
  author      ={R. Adler and I. Schaefer and T. Schuele and E. Vecchié},
  title       ={From Model-Based Design to Formal Verification of Adaptive Embedded Systems},
  booktitle   ={International Conference on Formal Engineering Methods (ICFEM)},
  address     ={Boca Raton, Florida, USA},
  editor      ={M. Butler and M.G. Hinchey and M.M. Larrondo-Petrie},
  publisher   ={Springer},
  series      ={LNCS},
  volume      ={4789},
  pages       ={76-95},
  year        ={2007},
  remark      ={rsg}
}