Pallab Dasgupta Jatindra Kumar Deka Partha Pratim Chakrabarti Model checking on timed-event structures. 601-611 2000 19 IEEE Trans. on CAD of Integrated Circuits and Systems 5 http://doi.ieeecomputersociety.org/10.1109/43.845084 db/journals/tcad/tcad19.html#DasguptaDC00