“…Functional, user interface, and performance models can be constructed easily, and at varying levels of abstraction or granularity, depending on the specific behavioral aspects of the system being exercised. REE is being developed as part of Rome Laboratory's research program in requirements engineering which has been in place since 1985 [Rzepka 1992]. …”