Security Analysis and Design for TAGA: a Touch and Go Assistant in the Aerospace Domain. - Sibylle B. Fröschle; Martin Kubisch; Marlon Gräfing (CoRR, 2020)