Models for hybrid systems: Automata

@inproceedings{Nerode1993ModelsFH,
  title={Models for hybrid systems: Automata},
  author={Anil Nerode and Wolf Kohn},
  year={1993}
}