Abstractions for model checking of event timings. - Jatindra Kumar Deka; S. Chaki; Pallab Dasgupta; P. P. Chakrabarti 001 (ISCAS (5), 2001)