Specification and Proof in Real-Time Csp | DealShopping France