Deriving Safety Case Fragments for Assessing MBASafe’s Compliance with EN 50128 | Publicación