BibTex format
@inproceedings{Barrere:2019,
author = {Barrere, Cambrun M and Hankin, C and Nicolaou, N and Eliades, DG and Parisini, T},
pages = {32--33},
title = {MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs},
url = {https://www.imperial.ac.uk/people/m.barrere},
year = {2019}
}