Mohammed Salifu, Yijun Yu, Bashar Nuseibeh. Specifying Monitoring and Switching Problems in Context. In 15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India. pages 211-220, IEEE, 2007. [doi]
Abstract is missing.