-P. Godefroid: Partial-Order Methode for the Verification of Concurrent Systems, Springer-Verlag 1996