Digitizing Interval Duration Logic. - Gaurav Chakravorty; Paritosh K. Pandya (CAV, 2003)