Modeling and Simulation of Mixed Analog-Digital Systems (The Springer International Series in Engineering and Computer Science)