Model checking of unrestricted hierarchical state machines (2001)

by M Benedikt, P Godefroid, T W Reps
Venue:In Proc. ICALP’2001, LNCS 2076