Return to Article Details Using a Triple Graph Grammar for State Machine Implementations Download Download PDF