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