Mallick, Amitashree, et al. “Generation of Testcases from UML Sequence Diagram and Detecting Deadlocks Using Loop Detection Algorithm”. International Journal of Computer Sciences and Engineering, vol. 2, no. 3, Mar. 2014, pp. 199-03, https://ijcse.isroset.org/index.php/j/article/view/88.