Sergio Cerutti Gianfranco Lamperti M. Scaroni Marina Zanella Davide Zanni A diagnostic environment for automaton networks. 365-415 2007 37 Softw., Pract. Exper. 4 http://dx.doi.org/10.1002/spe.773 db/journals/spe/spe37.html#CeruttiLSZZ07