To limit state transition diagrams to a reasonable size without a major sacrifice in accuracy, longer paths between the initial operational state and the system failure state may be truncated. For example, when the number of faults exceeds five, it may be desirable to truncate the paths. However, when truncation is used, the effect of this approximation in the final model must be examined.