On the Systematic Conformance Check of Software Artefacts. - Hylke W. van Dijk; Bas Graaf; Rob Boerman (EWSA, 2005)