BibTex format
@inproceedings{Barrere:2020,
author = {Barrere, Cambrun M and Hankin, C},
publisher = {University of Helsinki, Department of Computer Science},
title = {MaxSAT Evaluation 2020 - Benchmark: Identifying maximum probability minimal cut sets in fault trees},
url = {https://www.imperial.ac.uk/people/m.barrere},
year = {2020}
}