M. Striewe and M. Goedicke, “Using a Triple Graph Grammar for State Machine Implementations”, eceasst, vol. 16, Jul. 2009.