Simulation and verification of electronic and biological systems - Silveira, Luís Miguel; Feldmann, Peter; Li, Peng (Springer Science+Business Media, 2011)