Partial order verification with PEP.

Published in: Partial Order Methods in Verification (1996)