Structured language for specifications of quantitative requirements

Requirements for dependable systems need to be understandable and, at the same time, have to satisfy consistency and non-ambiguity properties. We provide a means to specify nonfunctional requirements in terms of structured English sentences. We define their syntax by a clear and consistent notation. For verification, these sentences have to be transformed into a notation that can be interpreted by analysis tools. It is shown how this can be achieved via several translation steps