Vitalsource Technologies, Inc. Process Algebra With Timing