@InProceedings{afmpw-tacas02,
  author =    {Tobias Amnell and Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi},
  title =     {TIMES: A Tool for Modelling and Implementation of Embedded Systems},
  booktitle = {Proc.\ of TACAS'02},
  pages =     {460--464},
  year =      {2002},
  editor =    {J.-P. Katoen and P. Stevens},
  number =    {2280},
  series =    {Lecture Notes in Computer Science},
  publisher = {Springer--Verlag}
}