telephone networks and SCADA systems to military and commercial flight
control systems. SCR was designed to be understandable by all participants in
a software project, from engineers to high-level managers. The methodology
is based in formal methods, enabling SCR-derived requirements to be