Modular verification of timed circuits using automatic abstraction | IEEE Journals & Magazine | IEEE Xplore