U. Fahrenberg, K. Larsen, A. Legay, and C. Thrane. Engineering Dependable Software Systems, volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)
G. Bacci, G. Bacci, M. Jensen, and K. Larsen. Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 438-455. Springer, (2022)