TIC: A Timed Calculus for LOTOS