Using the SCR* toolset to specify software requirements | IEEE Conference Publication | IEEE Xplore