Camacho González, Carlos (2012) Software product lines using FODA: a formal approach. [Trabajo Fin de Máster]