Engineering trustworthy software systems : Third International School, SETSS 2017 Chongqing, China, April 17-22, 2017 Tutorial Lectures (2018)