TL;DR:
This paper shows how the Dual-graph Error Propagation Model (DEPM) based resilience analysis can be integrated with the general PRA methodology for resilience evaluations, and is demonstrated on a safety-critical autonomous UAV system.
(via Semantic Scholar)