Applying Software Static Analysis to ROS: The Case Study of the FASTEN European Project. - Tiago Neto; Rafael Arrais; Armando Sousa; André Santos 001; Germano Veiga (ROBOT (1), 2019)