Fretheim E. Secure Software Systems. Design and Development 2023