Partial order methods for the verification of concurrent systems : an approach to the state explosion problem - Godefroid, Patrice (Lecture notes in computer science, 1996)