selected publications chapter Quantifying the Impact Propagation of Cyber Attacks Using Business Logic Modeling. Lecture notes in computer science. 49-71. 2024