Engineering trustworthy software systems first international school, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures - Liu, Zhiming 1961- (Lecture Notes in Computer Science, 2016)