Rubén Casado; Javier Tuya; Claude Godart; Muhammad Younas. Test Case Design for Transactional Flows Using a Dependency-Based Approach. IJCISIM 2013, 5, 11.