"Specifying Monitoring and Switching Problems in Context."

Mohammed Salifu, Yijun Yu, Bashar Nuseibeh (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics