Tools for constructing requirements specifications: The SCR toolset at the age of ten (2005)

by C Heitmeyer, M Archer, R Bharadwaj, R Jeffords
Venue:Intern. J. on Computer System Science and Engineering