Formal methods for a system of systems analysis framework applied to traffic management. - Charles E. Dickerson; Siyuan Ji; Rosmira Roslan (SoSE, 2016)

A Formal Transformation Method for Automated Fault Tree Generation From a UML Activity Model. - Charles E. Dickerson; Rosmira Roslan; Siyuan Ji (IEEE Trans. Reliab., 2018)