Process Algebra with Timing