@InProceedings{fmpw-tacas03,
  author =    {Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi},
  title =     {Schedulability Analysis using Two Clocks},
  booktitle = {Proc.\ of TACAS'03},
  pages =     {224--239},
  year =      {2003},
  editor =    {Hubert Garavel and John Hatcliff},
  number =    {2619},
  series =    {Lecture Notes in Computer Science},
  month =     {April},
  publisher = {Springer--Verlag}
}