Return to Article Details RUMBO: A Methodology for the Evaluation of I/O Automata Download Download PDF