TTC 2016 - 9th Transformation Tool Contest

In order to facilitate the comparison of transformation tools, we are soliciting potential case studies. Specific areas of transformation case studies relevant to TTC are described on our aims and scope page. For TTC 2016, we continue to encourage the submission of cases relating to reactive transformation or to program transformation. If you have a suitable case study, please describe it shortly but as detailed as needed and submit it to the online submission system. Please include a reference solution to your case to support the evaluation of the correctness of submitted solutions.