Specifying monitoring and switching problems in context (2007)

by Mohammed Salifu, Yijun Yu, Bashar Nuseibeh
Venue:In: Proc. 15th Intl. Conference on Requirements Engineering