Vangalur S. Alagar Greetha Ramanathan Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. 196-235 1988 conf/facs/1988 Specification and Verification of Concurrent Systems db/conf/facs/facs1988.html#AlagarR88