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