Springer
Lecture Notes in Computer Science
International SDL and MSC Workshop
Specification and Analysis of Embedded Systems

Mooij, A., & Goga, N. (2005). Dealing with non-local choice in IEEE 1073.2's standard for remote control. In System Analysis and Modeling - 4th international SDL and MSC Workshop - SAM 2004 (pp. 257–270). Springer.