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

@InProceedings{LLL99,
  author =       "Livadas, Carolos and Lygeros, John and Lynch, Nancy A.",
  title =        "{High-Level Modeling and Analysis of TCAS}",
  booktitle =    "{Proc. 20th IEEE Real-Time Systems Symposium (RTSS'99)}",
  pages =        "115--125",
  month =        dec,
  year =         "1999",
  address =      "{Phoenix, Arizona}",
  publisher =    "{IEEE Computer Society}",
  url =          "http://theory.lcs.mit.edu/tds/papers/Livadas/RTSS99.html",
}