Rubén Casado, Javier Tuya, Claude Godart, and Muhammad Younas. 2013. “Test Case Design for Transactional Flows Using a Dependency-Based Approach”. International Journal of Computer Information Systems and Industrial Management Applications 5 (January):11. https://cspub-ijcisim.org/index.php/ijcisim/article/view/197.