Exclusion-Aware Estimation of Reachability-Graph Size in State/Event Fault Trees
Agus Hartoyo
Int J Performability Eng . 2026, (10): 561 -568 .  DOI: 10.23940/ijpe.26.10.p1.561568