Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem - Godefroid, Patrice. (Springer, 1996)