Toward a Formal Specification of the Semantics of Dynamic Fault Trees; D. Coppit, K. Sullivan, J. Dugan

Extending Fault Trees with an AND-THEN Gate; P. Wijayarathna, M. Maekawa

Risk Bands - A Novel Feature of Safecharts; H. Dammag, N. Nissanke