Jonathan P. Bowen, Zhiming Liu, Zili Zhang: Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Lecture Notes in Computer Science 11430, Springer 2019, ISBN 978-3-030-17600-6