Behavioral Modeling of Transistor-Level Circuits using Automatic Abstraction to Hybrid Automata | IEEE Conference Publication | IEEE Xplore