Ernst-Rüdiger Olderog Martin Fränzle Oliver E. Theel Paul Kröger System correctness under adverse conditions. 249-251 2021 63 it Inf. Technol. 5-6 https://doi.org/10.1515/itit-2021-0043 https://www.wikidata.org/entity/Q115722910 db/journals/it/it63.html#OlderogFTK21