BibTex format
@inproceedings{Barrère:2020,
author = {Barrère, M and Hankin, C},
pages = {53--54},
publisher = {IEEE},
title = {Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT.},
url = {https://ieeexplore.ieee.org/xpl/conhome/9146897/proceeding},
year = {2020}
}