- Jonathan P. Bowen, Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures. Volume 11430 of Lecture Notes in Computer Science, Springer, 2019.