Dependable software engineering: theories, tools, and applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016. Proceedings (2016)