ttc2016
The conceptual model described in section 2.1.1.2 (Figure 3) of the paper is in the file conceptual_model/ttc_simple.ecore
The folder examples contains files for the section 3.3. The folder contains the AF3 project(ttcX.af3_23), nusmv input file(nusmv_ttcX.smv), and counterexample trace from nusmv(cs_ttcX.txt). Here X referes to the point X in section 3.3 of the paper.
Please follow the developers installation steps at https://af3-developer.fortiss.org/projects/autofocus3/wiki/Developer_Installation for downloading and running the AF3 source