Jonathan P. Bowen, Zhiming Liu, Zili Zhang: Engineering Trustworthy Software Systems - Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Lecture Notes in Computer Science 10215, 2017, ISBN 978-3-319-56840-9