/Trading Books/Joseph Mathai - Real-Time Systems Specification, Verification and Analysis/