Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits