Smriti Gupta, Bruce H. Krogh, Rob A. Rutenbar: Towards formal verification of analog designs. ICCAD 2004: 210-217