A variability modeling and transformation approach for safety-critical systems - Bressan, L; de Oliveira, AL; Campos, FC; Capilla, R (Proceedings Of 15th International Working Conference On Variability Modelling Of Software-Intensive Systems, Vamos 2021, 2021)