Title: Innovations for Requirement Analysis. from Stakeholders' Needs to Formal Designs