Algebraic Calculi for Hybrid Systems door Peter Höfner