Springer
Lecture Notes in Computer Science
International Conference on Fundamental Approaches to Software Engineering
Specification and Analysis of Embedded Systems

Mooij, A., Goga, N., & Romijn, J. (2005). Non-local choice and beyond: Intricacies of MSC choice nodes. In Fundamental approaches to software engineering: 8th international conference FASE 2005 (pp. 273–288). Springer.