Automatic Synthesis of SARA Design Models From System Requirements. - Lor, Kar-Wing Edward; Berry, Daniel M. (IEEE Trans. Software Eng., 1991)