Sánchez-López, C.; Martínez-Romero, E.; Tlelo-Cuautle3, E. Symbolic Analysis of OTRAs-Based Circuits. JART 2011, 9.