Dependable Software Engineering. Theories, Tools, and Applications : 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings - Bourke, Timothy. (Springer, 2025)