TC4S:\Trading Books\Others\Joseph Mathai - Real-Time Systems Specification, Verification and Analysis