@book{4612,
  editor       = {Alur, Rajeev and Henzinger, Thomas A and Sontag, Eduardo D},
  isbn         = {978-3-540-61155-4},
  issn         = {0302-9743},
  pages        = {IX, 619},
  publisher    = {Springer},
  title        = {{Hybrid Systems III: Verification and Control}},
  doi          = {10.1007/BFb0020931},
  volume       = {1066},
  year         = {1996},
}