Guohui Feng
The Univ. of Texas at Austin
The identification of integrity constraints in requirements for context monitoring
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems