Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs (Springer Berlin Heidelberg, 2020)