Instrumentation
Various software tools are developed to support automata programming. One of these tools is UniMod (Gurov 2004) (Gurov 2005) (UniMod). This tool is based on the following concepts: UML, Switch-technology, Eclipse IDE, Java programming language, open source code (http://unimod.sourceforge.net/). All this enables one to talk about the UniMod as of the implementation of executable UML.
Some examples of usage of UniMod tool are shown in (UniMod Examples).
Read more about this topic: Automata-based Programming (Shalyto's Approach)