Constance L. Heitmeyer Myla Archer Ramesh Bharadwaj Ralph D. Jeffords Tools for constructing requirements specifications: the SCR Toolset at the age of nine. 2005 20 Comput. Syst. Sci. Eng. 1 db/journals/csse/csse20.html#HeitmeyerABJ05