Engineering trustworthy software systems : First International School, SETSS 2014 Chongqing, China, September 8-13, 2014 Tutorial Lectures (2016)