Proceedings of the Requirements for High Assurance Workshop, Monterey Bay, CA, September 8,
2003, 49–56. [Also of interest in the same Proceedings: Sascha Konrad, et al., “Using Security Patterns
to Model and Analyze Security Requirements”: 13–22.]
Axel van Lamsweerde and E. Handling Letier, “Obstacles in Goal-Oriented Requirements Engineering,”