Rubén Casado, Javier Tuya, Claude Godart, and Muhammad Younas, “Test case design for transactional flows using a dependency-based approach”, IJCISIM, vol. 5, p. 11, Jan. 2013.