@proceedings{4430,
  editor       = {Henzinger, Thomas A},
  isbn         = {978-3-540-64358-6},
  location     = {Berkeley, CA, United States of America},
  publisher    = {Springer},
  title        = {{HSCC: Hybrid Systems—Computation and Control}},
  doi          = {10.1007/3-540-64358-3},
  volume       = {1386},
  year         = {1998},
}