F
[FMP+06] Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Schedulability analysis of fixed-priority systems using timed automata. Theoretical Computer Science 354(2):301-317. Elsevier, March 2006. 
@article{tcs354(2)-FMPY,
  author =              {Fersman, Elena and Mokrushin, Leonid and Pettersson,
                         Paul and Yi, Wang},
  title =               {Schedulability analysis of fixed-priority systems
                         using timed automata},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {354},
  number =              {2},
  pages =               {301-317},
  year =                {2006},
  month =               mar,
}
List of authors