Kar-Wing Edward Lor
-
Automatic Synthesis of SARA Design Models from System Requirements
IEEE Transactions on Software Engineering