@InProceedings{KLM04,
  author    = {Dilsun Kaynar and Nancy Lynch and Sayan Mitra},
  title     = {Specifying and Proving Timing Properties with {TIOA} Tools},
  booktitle = {In the work in progress session of the 25th {IEEE} International Real-Time Systems Symposium ({RTSS-WIP})},
  year      = {2004},
  address   = {Lisbon, Portugal},
  month     = {December},
  biburl    = {http://users.crhc.illinois.edu/mitras/research.html},
  keywords  = {Specification languages, Verification},
  psfurl    = {research/2004/wip04.ps.gz},
}