Camacho González , Carlos (2012) Software product lines using FODA: a formal approach. Tesis Master's thesis.