Patrice Godefroid Doron Peled Mark G. Staskauskas Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs. 496-507 http://doi.ieeecomputersociety.org/10.1109/32.538606 1996 22 IEEE Trans. Software Eng. 7 db/journals/tse/tse22.html#GodefroidPS96