Verifying consistency of software product line architectures with product architectures

Hector A. Duran-Limon, Perla Velasco Elizondo, Manuel Mora, Maria Elena Meda-Campaña, Karina Aguilar, Martha Hernández Ochoa, Leonardo Soto Sumuano. Verifying consistency of software product line architectures with product architectures. Software and Systems Modeling, 23(1):195-221, February 2024. [doi]