Zhibin Yang, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, Mamoun Filali. C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software. Journal of Systems Architecture, 118:102202, 2021. [doi]
Abstract is missing.