@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},
}