Partial-Order Methods For The Verification Of Concurrent Systems by Patrice Godefroid