Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures / - Bowen, Jonathan P. (Springer International Publishing,)