Heitmeyer, Constance, Myla Archer, Ramesh Bharadwaj, and Ralph Jeffords. "Tools for Constructing Requirements Specifications: The SCR Toolset at the Age of Ten." Computer Systems Science & Engineering 20, no. 1 (2005): 19-35.