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 (Softw. Syst. Model., 2024)