Tomasz Janowski, Mathai Joseph. Dynamic Scheduling and Fault-Tolerance: Specification and Verification. Real-Time Systems, 20(1):51-81, 2001.
@article{JanowskiJ01, title = {Dynamic Scheduling and Fault-Tolerance: Specification and Verification}, author = {Tomasz Janowski and Mathai Joseph}, year = {2001}, researchr = {https://researchr.org/publication/JanowskiJ01}, cites = {0}, citedby = {0}, journal = {Real-Time Systems}, volume = {20}, number = {1}, pages = {51-81}, }