Simulation and Verification of Electronic and Biological Systems - Li, Peng; Silveira, Luís Miguel; Feldmann, Peter (Springer Netherlands, 2011)