Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures - Liu, Zhiming; Zhang, Zili (Springer International Publishing : Imprint: Springer, 2016)