Title: The cycle calculus for hybrid systems