Process algebra with timing door C.A. Middelburg & J.C.M. Baeten