Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings - Fränzle, Martin; Kapur, Deepak; Zhan, Naijun (Springer International Publishing : Imprint: Springer, 2016)