AGTIVE 2011 paper accepted for publication

The paper Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata, written in collaboration with Jan Rieke, was accepted for publication.

We presented the paper already last October at the AGTIVE Symposium. The paper describes a number of extension that we have implemented into the TGG Interpreter in the last years in order to apply the tool to a broader range of practically relevant transformation problems. A draft version of the paper can be found here.