A probabilistic foundation for vagueness and imprecision in fault-tree analysis · Study