TITLE     : Model checking of unrestricted hierarchical state machines
AUTHOR(S) : Benedikt M., Godefroid P., Reps T.
TYPE      : Conference article
YEAR      : 2001
CODE      : 91464

*** DO NOT EDIT THIS FILE ***