1
Simulation and Verification of Electronic and Biological Systems [E-Book] /