On Sampling Abstraction of Continuous Time Logic with Durations. - Paritosh K. Pandya; Shankara Narayanan Krishna; Kuntal Loya (TACAS, 2007)