Ann Q. Gates, C. Kubo Della-Piana. The identification of integrity constraints in requirements for context monitoring. In 1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA. pages 498-506, IEEE Computer Society, 1997. [doi]
Abstract is missing.