Specifying monitoring and switching problems in context (2007)

by M Salifu, Y Yu, B Nuseibeh
Venue:In: Proc. of the 15th IEEE International Requirements Engineering Conference