@InProceedings{afmpw-formats03,
  author =    {Tobias Amnell and Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi},
  title =     {TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems},
  booktitle = {Proc.\ of FORMATS'03},
  pages =     {60--72},
  year =      {2004},
  editor =    {Peter Niebert and Kim G. Larsen},
  number =    {2791},
  series =    {Lecture Notes in Computer Science},
  publisher = {Springer--Verlag}
}