This final project report is a <em>Type I</em>: Modelling variability into a testable model project. The main themes of the course revolve around the concepts of <em>variability</em> (in this project variability is associated with the variation of an algorithm in time i.e. evolutionary variability and with variability in definitions of concepts), <em>traceability</em> and <em>verification</em>. Hence these concepts form the core focus of this project, with more emphasis being placed on the creation of a traceable, testable domain model. In particular, two questions posed during the offering of this course are: i) “Can tests be used to document how family members are different?", and ii) “How can features and their dependencies be properly documented?"