Model checking of unrestricted hierarchical state machines (2001)

by M Benedikt, P Godefroid, T Reps
Venue:In ICALP