A Framework for the Runtime Monitoring and Verification of Distributed Automated Cyber-Physical Systems using ROS - Pedro José Santos Oliveira (2020)