Joachim Schmid Compiling Abstract State Machines to C++. 1068-1087 2001 7 J. UCS 11 http://www.jucs.org/jucs_7_11/compiling_abstract_state_machine db/journals/jucs/jucs7.html#Schmid01