Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures - Bowen, Jonathan P.; Liu, Zhiming.; Zhang, Zili. (Springer International Publishing : Imprint: Springer, 2017)