Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models †. - Anda, Amal Ahmed; Amyot, Daniel; Mylopoulos, John (Modelling, 2023)