Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification

@inproceedings{Braberman-Felder:FSE99,
  author    = {V{\'{\i}}ctor A. Braberman and
               Miguel Felder},
  title     = {Verification of {Real-Time} Designs: Combining Scheduling Theory with Automatic Formal Verification},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {494--510},
  series    = {LNCS},
  volume    = {1687},
  publisher = {Springer},
  year      = {1999},
  doi       = {10.1007/3-540-48166-4\_30},
}