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