Empowering SysML-Based Software Architecture Description with Formal Verification: From SysADL to CSP. - Fagner Dias; Marcel Oliveira; Thaís Vasconcelos Batista; Everton Cavalcante; Jair C. Leite; Flávio Oquendo; Camila Araújo (ECSA, 2020)