SYSC ODL: "Theoretical Foundation, Semantics, and Capabilities of System Requirements Modeling Methods" by Stephanie White

A cross-section of requirements modeling languages and their associated models and methods are evaluated and compared. They are investigated with respect to the robustness of their semantics, their  mathematical foundations, and their capability for analysis and verification, as well as support for model construction, comprehension, reuse, and modification.