related documents Automatic abstraction for verification of timed circuits and systems Conference Proceeding
