Specification and verification of fault-tolerance, timing and scheduling (1999)

by Z Liu, M Joseph
Venue:ACM Transactions on Programming Languages and Systems