T ECHNICAL R EPORT A Timed Contract-Calculus