Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes. Generating finite state machines from abstract state machines. In ISSTA. pages 112-122, 2002. [doi]