# Efficient probabilistic fault tree analysis of safety critical systems via probabilistic model checking

> Research article (2016 Forum on Specification and Design Languages (FDL), 2016) · cited 10× · AI/ML

**Wikidata**: [openalex:W2602829809](https://www.wikidata.org/wiki/openalex:W2602829809)  
**Source**: https://4ort.xyz/entity/efficient-probabilistic-fault-tree-analysis-of-safety-critical-systems-via-probabilistic-model-checking