Helmut Wolfram Neukirchen: Languages, tools and patterns for the specification of distributed real-time tests. University of Göttingen 2004