Jameleddine Hassine, Juergen Rilling, Rachida Dssouli. An ASM Operational Semantics for Use Case Maps. In 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France. pages 467-468, IEEE Computer Society, 2005. [doi]