Process Algebra with Timing by