Koehoorn, Bob (2007) A model-based approach for comparing the behaviour of software systems. Masters thesis, University of Twente.