Jatindra Kumar Deka S. Chaki Pallab Dasgupta P. P. Chakrabarti Abstractions for model checking of event timings. 125-128 2001 conf/iscas/2001 ISCAS (5) http://doi.ieeecomputersociety.org/10.1109/ISCAS.2001.922001 db/conf/iscas/iscas2001-5.html#DekaCDC01