The NRL SCR [203] model was originally developed in 1978 as a
requirements methodology to be used for building high assurance control
systems. Since then, SCR has been widely accepted and used by many
software projects to develop software requirements in systems ranging from