Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation. - Nabil Shaukat; Shival Dubey; Bilal Y. Kaddouh; Andy Blight; Lenka Mudrich; Pedro Ribeiro 002; Hugo Araújo; Rob Richardson; Louise Abigail Dennis; Ana Lucia Caneca Cavalcanti; Mohammad Reza Mousavi 001 (MESA, 2024)