Process algebra for hybrid systems by C.A. Middelburg & J.A. Bergstra