Striewe, M.; Goedicke, M. Using a Triple Graph Grammar for State Machine Implementations. eceasst 2009, 16.