Security Risk Assessments: Modeling and Risk Level Propagation. - Daniel Angermeier; Hannah Wester; Kristian Beilke; Gerhard Hansch; Jörn Eichler (ACM Trans. Cyber Phys. Syst., 2023)