Andrew M. Bailey George A. McCaskill George J. Milne An Exercise in the Automatic Verification of Asynchronous Designs. 213-242 1994 4 Formal Methods in System Design 3 db/journals/fmsd/fmsd4.html#BaileyMM94 http://dx.doi.org/10.1007/BF01384047