A verified realization of a Dempster-Shafer based fault tree analysis
scientific article; zbMATH DE number 6022014