Engineering trustworthy software systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures - Bowen, Jonathan P. 1956-; Liu, Zhiming 1961-; Zhang, Zili (Springer, 2017)