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

Víctor A. Braberman Miguel Felder Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification. 494-510 1999 conf/esec/1999 ESEC / SIGSOFT FSE http://link.springer.de/link/service/series/0558/bibs/1687/16870494.htm db/conf/esec/esec99.html#BrabermanF99