@INPROCEEDINGS{ALLMU_MEMOCODE2006,
  AUTHOR = {Myla Archer and  HongPing Lim and Nancy Lynch and Sayan Mitra and Shinya Umeno},
  TITLE = { Specifying and Proving Properties of Timed {I/O} Automata in the {TIOA} Toolkit },
  BOOKTITLE = {In  Fourth ACM-IEEE International Conference on Formal Methods 
and Models for Codesign (MEMOCODE'06)},
  YEAR = 2006,
  PUBLISHER = {IEEE},
  URL = {http://theory.lcs.mit.edu/~mitras/research/memocode06.pdf}
}