"Tools for Constructing Requirements Specifications: The SCR Toolset at the Age of Ten." Computer Systems Science & Engineering 20, no. 1 (2005): 19-35.