C. Sánchez-López, E. Martínez-Romero, and E. Tlelo-Cuautle3, “Symbolic Analysis of OTRAs-Based Circuits”, JART, vol. 9, no. 01, Apr. 2011.