Non-Deterministic Use Case Map Traversal Algorithm for Scenario Simulation and Debugging. - Gabriel Negash; Chun Ming Liang; Feras Al Taha; Nadin Bou Khzam; Gunter Mussbacher (RE Workshops, 2019)