TY  - RPRT
TI  - Extending Attack-Fault Trees with Runtime Verification
AU  - Rafael C. Cardoso
AU  - Angelo Ferrando
AU  - Michael Fisher
PY  - 2022
DO  - 10.4204/eptcs.371.14
UR  - https://arxiv.org/abs/2209.14044
ID  - 2209.14044
ER  -