Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. - Mario Gleirscher; Nikita Johnson; Panayiotis Karachristou; Radu Calinescu; James Law; John A. Clark (CoRR, 2020)