Data Flow Analysis and Testing of Abstract State Machines - Cavarra, A (Springer, 2008)