1. A. Vachoux, C. Grimm, K. Einwich, A. Vachoux, C. Grimm, K. Einwich, Analog and mixed-signal modeling with SystemC-AMS, in Proceedings of the 2003 International Symposium on Circuits and Systems, 2003, ISCAS’03, vol. 3 (2003), pp. III–914
2. R. Telichevesky, K. Kundert, J. White, SpectreRF; New Frontiers in Circuit Simulation (1995), pp. 3–24
3. D. Zaum, S. Hoelldampf, M. Olbrich, E. Barke, I. Neumann, S. Schmidt, The PRAISE approach for accelerated transient analysis applied to wire models, in Behavioral Modeling and Simulation Workshop, BMAS 2009 (IEEE, 2009), pp. 120–125
4. G. Gielen, E. Maricau, in Analog IC Reliability in Nanometer CMOS (Springer, Heidelberg, 2013)
5. T. Henzinger, P.-H. Ho, H. Wong-Toi, HyTech: a model checker for hybrid systems. Lecture Notes in Computer Science (Springer, 1997), pp. 460–463