A verification system for transient response of analog circuits using model checking | IEEE Conference Publication | IEEE Xplore