Viktor Matejka, Juan Angel Huacan Soto: A Framework for the Definition and Analysis of Cyber Insurance Requirements; Universität Zürich, Communication Systems Group, Department of Informatics, Zürich, Switzerland, September 2021, URL: https://files.ifi.uzh.ch/CSG/staff/franco/extern/theses/MAP-VM-JAHS.pdf.