Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures - Bowen; Liu, Zhiming; Zhang, Zili (Springer International Publishing, 2020)