Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities. - Reich, Jan; Frey, Joshua; Cioroaica, Emilia; Zeller, Marc; Rothfelder, Martin (2020)