Fagner Dias, Marcel Oliveira, Thaís Vasconcelos Batista, Everton Cavalcante, Jair C. Leite, Flávio Oquendo, Camila Araújo. Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. In Anton Jansen, Ivano Malavolta, Henry Muccini, Ipek Ozkaya, Olaf Zimmermann, editors, Software Architecture - 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings. Volume 12292 of Lecture Notes in Computer Science, pages 101-117, Springer, 2020. [doi]
Abstract is missing.