Dynamic scheduling in the presence of faults: Specification and verification | Publicación