Liu, Zhiming2022-03-022022-03-022016978-3-319-29627-2978-3-319-29628-9https://publica.fraunhofer.de/handle/publica/160298Engineering trustworthy software systems. First International School, SETSS 2014