@misc{indiciaeb507168ddcb7,
  title = {A Formal Transformation Method for Automated Fault Tree Generation from a UML Activity Model},
  author = {Charles Dickerson and Rosmira Roslan and Siyuan Ji},
  year = {2018},
  doi = {10.1109/tr.2018.2849013},
  url = {https://arxiv.org/abs/1804.11296},
  note = {Source identifier: 1804.11296}
}