Engineering Trustworthy Software Systems : 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures - Bowen, Jonathan P.; Gomes, Cláudio; Liu, Zhiming (Singapore Springer, 2025)