Little, S., Walter, D., Jones, K., Myers, C., Şen, A., “Analog/mixed-signal circuit verification using models generated from simulation traces”, International Journal of Foundations of Computer Science, 21, 2, 191-210, 2010.