A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System