TC4S:\.@DOWNLOAD\05 - DJ\_Books1\Joseph Mathai - Real-Time Systems Specification, Verification and Analysis