Before revision:  Our  methodology enables the run-time verification of safety, reliability and resilience during autonomous missions.
After revision:  Our novel methodology enables the run-time verification of safety, reliability and resilience during autonomous missions.