@book{ 181-019940902, title = {Computer safety, reliability, and security: SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, proceedings}, series = {}, series = {12235}, author = {Casimiro, Antonio}, editor = {Casimiro, Antonio}, address = {Cham, Switzerland}, publisher = {Springer}, year = {2020}, pages = {416}, isbn = {9783030555825}, language = {English}, note = {The conference was held online due to the COVID-19 pandemic.}, note = {"ISSN 1611-3349 (electronic)"--title page verso.}, url = {http://link.springer.com/}, url = {https://katalog.fid-bbi.de/Record/181-019940902} }