@inproceedings{BasinKZ-FSTTCS15, author = {David Basin and Felix Klaedtke and Eugen Zalinescu}, title = {Failure-aware {R}untime {V}erification of {D}istributed {S}ystems}, booktitle = {35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015)}, year = 2015, pages = {590--603}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {45}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, doi = {10.4230/LIPIcs.FSTTCS.2015.590}, }