Christian Bach, Christian Toftemann Bæk, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin: Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". Zenodo 2019