Vitalsource Technologies, Inc. Nonsmooth Modeling And Simulation For Switched Circuits