Semancitcs of Real-time Distributed Programs. - Asis Goswami; Mathai Joseph (Concurrency, 1988)

Semantics for Specifying Real-Time Systems. - Mathai Joseph; Asis Goswami (Specification and Verification of Concurrent Systems, 1988)

What's 'Real' about Real-Time Systems? - Mathai Joseph; Asis Goswami (RTSS, 1988)

ISL: An Interval Logic for the Specification of Real-time Programs. - Asis Goswami; Michael Bell; Mathai Joseph (FTRTFT, 1992)