1. Manar H Alalfi , Eric J Rapos , Andrew Stevenson , Matthew Stephan , Thomas R Dean , and James R Cordy . 2019. Variability Identification and Representation for Automotive Simulink Models . In Automotive Systems and Software Engineering . Springer , 109--139. Manar H Alalfi, Eric J Rapos, Andrew Stevenson, Matthew Stephan, Thomas R Dean, and James R Cordy. 2019. Variability Identification and Representation for Automotive Simulink Models. In Automotive Systems and Software Engineering. Springer, 109--139.
2. Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain
3. Strategies for product-line verification: Case studies and experiments
4. Aitor Arrieta , Urtzi Markiegi , and Leire Etxeberria . 2017. Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective. Jornadas de Ingeniera del So ware y Bases de Datos (JISBD) ( 2017 ). Aitor Arrieta, Urtzi Markiegi, and Leire Etxeberria. 2017. Towards Mutation Testing of Configurable Simulink Models: a Product Line Engineering Perspective. Jornadas de Ingeniera del So ware y Bases de Datos (JISBD) (2017).
5. Formal Description of Variability in Product Families