TY  - RPRT
TI  - A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model
AU  - Charles Dickerson
AU  - Rosmira Roslan
AU  - Siyuan Ji
PY  - 2018
DO  - 10.1109/tr.2018.2849013
UR  - https://arxiv.org/abs/1804.11296
ID  - 1804.11296
ER  -