Rogério de Lemos Special issue on dependable computing: theory and practice. 75-76 2019 101 Computing 2 https://doi.org/10.1007/s00607-018-0671-0 https://www.wikidata.org/entity/Q62040628 db/journals/computing/computing101.html#Lemos19