TC4S:\.@DOWNLOAD\07 - AB\Trading Books\Joseph Mathai - Real-Time Systems Specification, Verification and Analysis