A Novel Formal Approach to Automatically Suggest Metrics in Software Measurement Plans. - Sarah A. Dahab; Juan Jose Hernandez Porras; Stephane Maag (ENASE, 2018)