"Using a Triple Graph Grammar for State Machine Implementations."

Michael Striewe (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics