unfoldings,a partial-order approach to model checking

javier esparza · springer-verlag new york inc