Real time Systems Specification Verification and Analysis

Revised version with corrections June 2001This version is made available for research, teaching and personal use only. Copies may be made for noncommercial use only. Enquiries for other uses tothe Editor (mathai@pune.tcs.co.in).