A diagnostic environment for automaton networks. - Simone Cerutti; Gianfranco Lamperti; M. Scaroni; Marina Zanella; Davide Zanni (Softw. Pract. Exp., 2007)