Peter Höfner, Bernhard Möller: Towards an Algebra of Hybrid Systems. RelMiCS 2005: 121-133