Strong4VM: From variability models to strong transitive dependency and conflict graphs - Heradio,R.; Cambelo,L.; Olivero,M.A.; Sanchez,J.M.; Perez Garcia-Plaza,A.; Fernandez-Amoros,D. (SoftwareX, 2026)