Requirements Engineering for Safety-Critical Systems - Tony Gorschek; Luiz Eduardo G. Martins (Taylor and Francis, 2021)