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