S. Muller, C. Harpes and C. Muller, ‘Fast and optimal countermeasureselection for attack defence trees’, in Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers, J. Großmann, M. Felderer and F. Seehusen, Eds. Cham: Springer International Publishing, 2017, pp. 53–65, ISBN: 978-3-319-57858-3. DOI: 10.1007/978- 3- 319- 57858- 3_5. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-57858-3_5.

S. Muller, C. Harpes, Y. L. Traon, S. Gombault and J.-M. Bonnin, ‘Efficiently computing the likelihoods of cyclically interdependent risk scenarios’, Computers & Security, vol. 64, pp. 59–68, 2017, ISSN: 0167-DOI: http://dx.doi.org/10.1016/j.cose.2016.09. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0167404816301158.