Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, Setta 2019, Shanghai, China, November 27-29, 2019, Pr (Paperback, 2019)