The meta model used for this tutorial is contained in the file named "fsm.kmt" in the "metamodels" directory. This is a KerMeta meta model which operations have been filled in.

Figure 2.1.