@String{lcs =    "{Lab.\ for Computer Science}"} 

@String{springer = "{Springer-Verlag}"} 

@String{LNCS =   "{Lecture Notes in Computer Science}"} 

@InProceedings{LL98,
  author =       "Livadas, Carolos and Lynch, Nancy A.",
  title =        "{Formal Verification of Safety-Critical Hybrid Systems}",
  booktitle =    "{Hybrid Systems: Computation and Control (HSCC'98)}",
  pages =        "253--272",
  year =         "1998",
  editor =       "Henzinger, Thomas A. and Sastry, Shankar",
  volume =       "1386",
  series =       LNCS,
  publisher =    springer,
  note =         "{The First International Workshop, Hybrid Systems: Computation
                 and Control (HSCC'98) took place in Berkeley, California, in
                 April 1998}",
  url =          "http://theory.lcs.mit.edu/tds/papers/Livadas/HS98.html",
}