S. Stöckler: "Analyzing distributed real-time systems using TATs and the specification language GOLD MINE (TR 183/1-41)"; 1994.