+For JTorX test generation was very simple since it accepts models in GraphViz
+DOT language, which is also the language used for describing the models for this
+report. For \GAST the model generation required a bit more work, as the model
+is written as a function in Clean. This translation is however easily done by
+hand. Because the model for \GAST is written as a function in Clean it is very
+expressive, the modeling method chosen for JTorX however is a lot less
+expressive, as it just allows for specification of states and transition labels
+between them. However JTorX allows for many different modeling languages, which
+can be more expressive than modeling using GraphViz models \cite{JTorXSite}.
+However, for our tests GraphViz models were expressive enough.
\ No newline at end of file