TC4S:\.@DOWNLOAD\35r-CS\ebook\joseph-mathai-real-time-systems-specification-verification-and-analysis