Isaac Matthews, John C. Mace, Sadegh Soudjani, Aad van Moorsel: Cyclic Bayesian Attack Graphs: A Systematic Computational Approach. TrustCom 2020: 129-136