@inproceedings{BaGS09a,
  key         ={BaGS09a},
  author      ={K. Bauer and R. Gentilini and K. Schneider},
  title       ={Property Driven Three Valued Model Checking on Hybrid Automata},
  booktitle   ={Workshop on Logic, Language, Information and Computation (WoLLIC)},
  address     ={Tokyo, Japan},
  editor      ={H. Ono and M. Kanazawa and R. {de Queiroz}},
  publisher   ={Springer},
  series      ={LNCS},
  volume      ={5514},
  pages       ={218–229},
  year        ={2009},
  remark      ={rsg}
}