Algebraic Calculi for Hybrid Systems by Peter Höfner