A Framework for Modeling and Concurrently Simulating Mechanical and Electrical Faults in Verilog-AMS.