Partial Order Methods in Verification - Doron A. Peled; Vaughan R. Pratt; Gerard J. Holzmann (2017)