The following publications are possibly variants of this publication:
- A Graphical Interval Logic Toolset for Verifying Concurrent SystemsG. Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith. cav 1993: 138-153
- A Graphical Representation of Interval LogicP. M. Melliar-Smith. concur 1988: 106-120
- A Graphical Interval Logic for Specifying Concurrent SystemsLaura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna. TOSEM, 3(2):131-165, 1994. [doi]
- A System for Automated Deduction in Graphical Interval LogicP. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon. ictl 1994: 540-542
- Extending Interval Logic to Real Time SystemsP. M. Melliar-Smith. tls 1989: 224-242
- Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval LogicY. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, G. Kutty. TCS, 170(1-2):1-46, 1996. [doi]