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