Dynamic scheduling and fault-tolerance: Specification and verification
scientific article; zbMATH DE number 1565427