Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 ; tutorial lectures - Liu, Zhiming 1961-; Zhang, Zili (Springer, 2016)