A data-flow approach to test multi-agent ASMs. - Cavarra, A (Formal Asp. Comput., 2011)