@Article{fmpw-tcs06,
  author = {Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi},
  title = {Schedulability analysis of fixed-priority systems using timed automata},
  journal = {Theoretical Computer Science},
  pages = {301-317},
  year = 2006,
  volume = 354,
  issue = 2,
  month = {March},
  publisher = {Elsevier}
}