The Statemate reference model of the reference case study 'Verkehrsleittechnik' (Inst. für Informatik, 2002)