TY  - RPRT
TI  - Assurance of System Safety: A Survey of Design and Argument Patterns
AU  - Mario Gleirscher
AU  - Stefan Kugele
PY  - 2019
UR  - https://arxiv.org/abs/1902.05537
ID  - 1902.05537
ER  -