Dynamic Scheduling and Fault-Tolerance: Specification and Verification | Publicación