Generating finite state machines from abstract state machines (2002)

by W Grieskamp, Y Gurevich, W Schulte, M Veanes
Venue:In Proc. International Symposium on Software Testing and Analysis