Simulation and Verification of Electronic and Biological Systems - Circuit and Multi-Domain Simulation Workshop; Feldmann, Peter; Li, Peng; Silveira, Luis Miguel (Springer Netherlands, 2011)