Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs