Title: The use and the role of formal methods in R&D projecy selection processes