Specification and verification of faulttolerance, timing, and scheduling (1999)

by Zhiming Liu, Mathai Joseph
Venue:ACM Trans. Program. Lang. Syst