Engineering trustworthy software systems : Second International School, SETSS 2016 Chongqing, China, March 28- April 2, 2016 Tutorial Lectures (2017)