The Real-Time Graphical Interval Logic Toolset.

Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon

Browse the full CAV paper archive.