SCAM 2016 Version

This version is the artefact that accompanies our engineering paper at SCAM 2016.
The paper is available here: http://soft.vub.ac.be/Publications/2016/vub-soft-tr-16-07.pdf