Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures - Bowen, Jonathan P.; Bowen, Jonathan P.; Liu, Zhiming; Liu, Zhiming; Zhang, Zili; Zhang, Zili (Springer International Publishing : Imprint: Springer, 2018)