Fei Wang, Zhibin Yang, Zhi-qiu Huang, Chengwei Liu, Yong Zhou, Jean-Paul Bodeveix, Mamoun Filali. An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models. IEEE Transactions on Reliability, 69(1):154-173, 2020. [doi]
Abstract is missing.