J. Blieberger, B. Scholz: "Automatic Symbolic Verification of Real-Time Programs (TR 183/1-75)"; 1997.