Requirement Generation for Highly Integrated Aircraft Systems Through STPA: An Application. - Andrea Scarinci; Amanda Quilici; Danilo Ribeiro; Felipe Oliveira; Daniel Patrick; Nancy G. Leveson (J. Aerosp. Inf. Syst., 2019)