bibliography.bib

@book{Chappell2004,
  title={Enterprise Service Bus: Theory in Practice},
  author={David Chappell},
  publisher={O'Reilly Media},
  year={2004},
  OPTmonth={6},
  OPTedition={first},
  isbn={9780596006754},
  totalpages={352}
}
@book{HohpeWoolf2003,
  title={Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions},
  author={Gregor Hohpe and Bobby Woolf},
  publisher={Addison-Wesley Professional},
  year={2003},
  OPTmonth={10},
  OPTedition={first},
  isbn={9780321200686},
  totalpages={736},
  timestamp={2017.03.19},
}
@book{Josuttis2007,
  title={SOA in Practice: The Art of Distributed System Design: Theory in Practice},
  author={Nicolai M. Josuttis},
  publisher={O'Reilly Media},
  year={2007},
  OPTmonth={9},
  OPTedition={first},
  isbn={9780596529550},
  totalpages={344},
  timestamp={2017.03.19},
}
@book{Garg2014,
  Author = {Garg Vijay K.},
  Title = {Elements of Distributed Computing},
  Publisher = {Wiley India},
  Year = {2014},
  ISBN = {8126551755}
}
@book{DollimoreKindbergCoulouris2005,
  Author = {Jean Dollimore and Tim Kindberg and George Coulouris},
  Title = {Distributed Systems: Concepts and Design},
  Publisher = {Addison Wesley},
  Year = {2005},
  ISBN = {0321263545}
}
@book{MyersSandlerBadgett2011,
  Author = {Glenford J. Myers and Corey Sandler and Tom Badgett},
  Title = {The Art of Software Testing},
  Publisher = {Wiley},
  Year = {2011},
  ISBN = {1118031962}
}
@book{ClarkeGrumbergPeled1999,
  Author = {Edmund M. Clarke Jr. and Orna Grumberg and Doron A. Peled},
  Title = {Model Checking},
  Publisher = {The MIT Press},
  Year = {1999}
}
@book{AcetoIngolfsdottirLarsenSrba2007,
  Author = {Luca Aceto and Anna Ing\'{o}lfsd\'{o}ttir and Kim Guldstrand Larsen and Ji\v{r}\'{i} Srba},
  Title = {Reactive Systems: Modelling, Specification and Verification},
  Publisher = {Cambridge University Press},
  Year = {2007},
  ISBN = {1107410681}
}
@book{Safonov2008,
  Author = {Vladimir O. Safonov},
  Title = {Using Aspect-Oriented Programming for Trustworthy Software Development (Quantitative Software Engineering Series)},
  Publisher = {Wiley-Interscience},
  Year = {2008},
  ISBN = {0470138173}
}
@book{CesariniThompson2009,
  Author = {Francesco Cesarini and Simon Thompson},
  Title = {Erlang Programming: A Concurrent Approach to Software Development},
  Publisher = {O'Reilly Media},
  Year = {2009},
  ISBN = {0596518188}
}
@book{Armstrong2007,
  Author = {Joe Armstrong},
  Title = {Programming Erlang: Software for a Concurrent World},
  Publisher = {Pragmatic Bookshelf},
  Year = {2007},
  ISBN = {193435600X}
}
@book{Ghosh2014,
  Author = {Sukumar Ghosh},
  Title = {Distributed Systems: An Algorithmic Approach},
  Publisher = {Chapman and Hall/CRC},
  Year = {2014},
  ISBN = {1466552972}
}
@book{VerissimoRodrigues2001,
  Author = {Paulo Ver\'{i}ssimo and Lu\'{i}s Rodrigues},
  Title = {Distributed Systems for System Architects},
  Publisher = {Springer},
  Year = {2001},
  ISBN = {0792372662}
}
@book{BuyyaBrobergGoscinski2011,
  Author = {Rajkumar Buyya and James Broberg and Andrzej Goscinski},
  Title = {Cloud Computing: Principles and Paradigms (Wiley Series on Parallel and Distributed Computing)},
  Publisher = {Wiley},
  Year = {2011},
  ISBN = {0470887990}
}
@book{HennessyPatterson2011,
  Author = {John L. Hennessy and David A. Patterson},
  Title = {Computer Architecture: A Quantitative Approach},
  Publisher = {Morgan Kaufmann},
  Year = {2011},
  ISBN = {012383872X}
}
@book{Lynch1996,
  Author = {Nancy A. Lynch},
  Title = {Distributed Algorithms},
  Publisher = {Morgan Kaufmann},
  Year = {1996},
  ISBN = {9781558603486}
}
@book{Tarkoma10,
  author = {Tarkoma, Sasu},
  title = {Overlay Networks: Toward Information Networking},
  publisher = {Auerbach Publications},
  year = {2010},
  isbn = {978-1439813713}
}
@book{AttiyaW04,
  Author = {Hagit Attiya and Jennifer Welch},
  Title = {Distributed Computing: Fundamentals, Simulations, and Advanced Topics},
  Publisher = {Wiley-Interscience},
  Year = {2004},
  ISBN = {9780471453246}
}
@book{FaginHMV04,
  Author = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Vardi},
  Title = {Reasoning About Knowledge (A Bradford Book)},
  Publisher = {A Bradford Book},
  Year = {2004},
  ISBN = {9780262562003}
}
%
%
@article{AghaMST97,
  author    = {Gul Agha and
               Ian A. Mason and
               Scott F. Smith and
               Carolyn L. Talcott},
  title     = {{A} {F}oundation for {A}ctor {C}omputation},
  journal   = {{JFP}},
  volume    = {7},
  number    = {1},
  pages     = {1--72},
  year      = {1997}
}
@article{LeuckerS09,
  author    = {Martin Leucker and
               Christian Schallhart},
  title     = {A brief account of runtime verification},
  journal   = {{JLAP}},
  volume    = {78},
  number    = {5},
  pages     = {293--303},
  year      = {2009}
}
@article{FalconeFM12,
  author    = {Yli{\`{e}}s Falcone and
               Jean{-}Claude Fernandez and
               Laurent Mounier},
  title     = {What can you verify and enforce at runtime?},
  journal   = {{STTT}},
  volume    = {14},
  number    = {3},
  pages     = {349--382},
  year      = {2012}
}
@article{FrancalanzaS15,
  author    = {Adrian Francalanza and
               Aldrin Seychell},
  title     = {{S}ynthesising {C}orrect {C}oncurrent {R}untime {M}onitors},
  journal   = {{FMSD}},
  volume    = {46},
  number    = {3},
  pages     = {226--261},
  year      = {2015}
}
@article{FrancalanzaGP13,
  author    = {Adrian Francalanza and
               Andrew Gauci and
               Gordon J. Pace},
  title     = {{D}istributed {S}ystem {C}ontract {M}onitoring},
  journal   = {{JLAP}},
  volume    = {82},
  number    = {5-7},
  pages     = {186--215},
  year      = {2013}
}
@article{BauerLS11,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {{R}untime {V}erification for {LTL} and {TLTL}},
  journal   = {{TOSEM}},
  volume    = {20},
  number    = {4},
  pages     = {14:1--14:64},
  year      = {2011}
}
@article{BauerLS10,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {{C}omparing {LTL} {S}emantics for {R}untime {V}erification},
  journal   = {J. Log. Comput.},
  volume    = {20},
  number    = {3},
  pages     = {651--674},
  year      = {2010}
}
@article{FrancalanzaAI17,
  author    = {Adrian Francalanza and
               Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {{M}onitorability for the {H}ennessy-{M}ilner {L}ogic with {R}ecursion},
  journal   = {{FMSD}},
  volume    = {51},
  number    = {1},
  pages     = {87--116},
  year      = {2017}
}
@article{Kozen83,
	author    = {Dexter Kozen},
	title     = {{R}esults on the {P}ropositional $mu-${C}alculus},
	journal   = {{TCS}},
	volume    = {27},
	pages     = {333--354},
	year      = {1983}
}
@article{Larsen90,
  author    = {Kim Guldstrand Larsen},
  title     = {{P}roof {S}ystems for {S}atisfiability in {H}ennessy-{M}ilner {L}ogic with {R}ecursion},
  journal   = {{TCS}},
  volume    = {72},
  number    = {2{\&}3},
  pages     = {265--288},
  year      = {1990}
}
@article{KupfermanV01,
  author    = {Orna Kupferman and
               Moshe Y. Vardi},
  title     = {{M}odel {C}hecking of {S}afety {P}roperties},
  journal   = {{FMSD}},
  volume    = {19},
  number    = {3},
  pages     = {291--314},
  year      = {2001}
}
@article{MeredithJGCR12,
  author    = {Patrick O'Neil Meredith and
               Dongyun Jin and
               Dennis Griffith and
               Feng Chen and
               Grigore Rosu},
  title     = {{A}n {O}verview of the {MOP} {R}untime {V}erification {F}ramework},
  journal   = {{STTT}},
  volume    = {14},
  number    = {3},
  pages     = {249--289},
  year      = {2012}
}
@article{BauerFalcone2016,
  author    = {Andreas Bauer and
               Yli{\`{e}}s Falcone},
  title     = {{D}ecentralised {LTL} {M}onitoring},
  journal   = {{FMSD}},
  volume    = {48},
  number    = {1-2},
  pages     = {46--93},
  year      = {2016}
}
@article{ColomboFalcone2016,
  author    = {Christian Colombo and
               Yli{\`{e}}s Falcone},
  title     = {{O}rganising {LTL} {M}onitors over {D}istributed {S}ystems with a {G}lobal {C}lock},
  journal   = {{FMSD}},
  volume    = {49},
  number    = {1-2},
  pages     = {109--158},
  year      = {2016}
}
@article{SchlichtingSchneider1983,
  author = {Schlichting, Richard D. and Schneider, Fred B.},
  title = {{F}ail-stop {P}rocessors: {A}n {A}pproach to {D}esigning {F}ault-{T}olerant {C}omputing {S}ystems},
  journal = {{ACM} Trans. Comput. Syst.},
  volume = {1},
  number = {3},
  month = aug,
  year = {1983},
  issn = {0734-2071},
  pages = {222--238},
  publisher = {ACM}
} 
@article{LamportSP82,
  author    = {Leslie Lamport and
               Robert E. Shostak and
               Marshall C. Pease},
  title     = {{T}he {B}yzantine {G}enerals {P}roblem},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {4},
  number    = {3},
  pages     = {382--401},
  year      = {1982}
}
@article{PerryT86,
  author    = {Kenneth J. Perry and
               Sam Toueg},
  title     = {{D}istributed {A}greement in the {P}resence of {P}rocessor and {C}ommunication
               Faults},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {12},
  number    = {3},
  pages     = {477--482},
  year      = {1986}
}
@article{Lamport78,
  author    = {Leslie Lamport},
  title     = {{T}ime, {C}locks, and the {O}rdering of {E}vents in a {D}istributed {S}ystem},
  journal   = {Commun. {ACM}},
  volume    = {21},
  number    = {7},
  pages     = {558--565},
  year      = {1978}
}
@article{Fidge1988,
  author = {Colin J. Fidge},
  title = {{T}imestamps in {M}essage-{P}assing {S}ystems that {P}reserve the {P}artial {O}rdering},
  journal = {Proceedings of the 11th Australian Computer Science Conference},
  volume = {10},
  pages = {56–66},
  year = {1988}
}
@article{AvizienisLRL04,
  author    = {Algirdas Avizienis and
               Jean{-}Claude Laprie and
               Brian Randell and
               Carl E. Landwehr},
  title     = {{B}asic {C}oncepts and {T}axonomy of {D}ependable and {S}ecure {C}omputing},
  journal   = {{IEEE} Trans. Dependable Sec. Comput.},
  volume    = {1},
  number    = {1},
  pages     = {11--33},
  year      = {2004}
}
@article{Geilen01,
  author    = {Marc Geilen},
  title     = {{O}n the {C}onstruction of {M}onitors for {T}emporal {L}ogic {P}roperties},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {55},
  number    = {2},
  pages     = {181--199},
  year      = {2001}
}
@article{BerkovichBF15,
  author    = {Shay Berkovich and
               Borzoo Bonakdarpour and
               Sebastian Fischmeister},
  title     = {Runtime verification with minimal intrusion through parallelism},
  journal   = {{FMSD}},
  volume    = {46},
  number    = {3},
  pages     = {317--348},
  year      = {2015}
}
@article{CristianASD95,
  author    = {Flaviu Cristian and
               Houtan Aghili and
               H. Raymond Strong and
               Danny Dolev},
  title     = {{A}tomic {B}roadcast: {F}rom {S}imple {M}essage {D}iffusion to {B}yzantine {A}greement},
  journal   = {Inf. Comput.},
  volume    = {118},
  number    = {1},
  pages     = {158--179},
  year      = {1995}
}
@article{FalconeJNBB15,
  author    = {Yli{\`{e}}s Falcone and
               Mohamad Jaber and
               Thanh{-}Hung Nguyen and
               Marius Bozga and
               Saddek Bensalem},
  title     = {Runtime {V}erification of {C}omponent-{B}ased {S}ystems in the {BIP} {F}ramework
               with {F}ormally-{P}roved {S}ound and {C}omplete {I}nstrumentation},
  journal   = {{SoSyM}},
  volume    = {14},
  number    = {1},
  pages     = {173--199},
  year      = {2015}
}
@article{CristianF99,
  author    = {Flaviu Cristian and
               Christof Fetzer},
  title     = {{T}he {T}imed {A}synchronous {D}istributed {S}ystem {M}odel},
  journal   = {{IEEE} Trans. Parallel Distrib. Syst.},
  volume    = {10},
  number    = {6},
  pages     = {642--657},
  year      = {1999}
}
@article{FischerLP85,
  author    = {Michael J. Fischer and
               Nancy A. Lynch and
               Mike Paterson},
  title     = {{I}mpossibility of {D}istributed {C}onsensus with {O}ne {F}aulty {P}rocess},
  journal   = {J. {ACM}},
  volume    = {32},
  number    = {2},
  pages     = {374--382},
  year      = {1985}
}
%
%
@inproceedings{Lamport80,
  author    = {Leslie Lamport},
  editor    = {Paul W. Abrahams and
               Richard J. Lipton and
               Stephen R. Bourne},
  title     = {``{S}ometime'' is {S}ometimes ``{N}ot {N}ever'' - {O}n the {T}emporal {L}ogic of {P}rograms},
  booktitle = {{POPL}},
  pages     = {174--185},
  publisher = {{ACM} Press},
  year      = {1980}
}
@inproceedings{PnueliZ06,
  author    = {Amir Pnueli and
               Aleksandr Zaks},
  title     = {{PSL} {M}odel {C}hecking and {R}un-{T}ime {V}erification {V}ia {T}esters},
  booktitle = {{FM}},
  series    = {{LNCS}},
  volume    = {4085},
  pages     = {573--586},
  publisher = {Springer},
  year      = {2006}
}
@inproceedings{AcetoI99,
  author    = {Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {{T}esting {H}ennessy-{M}ilner {L}ogic with {R}ecursion},
  booktitle = {{FoSSaCS}},
  series    = {{LNCS}},
  volume    = {1578},
  pages     = {41--55},
  publisher = {Springer},
  year      = {1999}
}
@inproceedings{FrancalanzaAI15,
  author    = {Adrian Francalanza and
               Luca Aceto and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {{O}n {V}erifying {H}ennessy-{M}ilner {L}ogic with {R}ecursion at {R}untime},
  booktitle = {{RV}},
  series    = {{LNCS}},
  volume    = {9333},
  pages     = {71--86},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{ColomboPS09,
  author    = {Christian Colombo and
               Gordon J. Pace and
               Gerardo Schneider},
  title     = {{LARVA}---{S}afer {M}onitoring of {R}eal-{T}ime {J}ava {P}rograms ({T}ool {P}aper)},
  booktitle = {{SEFM}},
  pages     = {33--37},
  publisher = {{IEEE} Computer Society},
  year      = {2009}
}
@inproceedings{ColomboFG11,
  author    = {Christian Colombo and
               Adrian Francalanza and
               Rudolph Gatt},
  title     = {{E}larva: {A} {M}onitoring {T}ool for {E}rlang},
  booktitle = {{RV}},
  series    = {{LNCS}},
  volume    = {7186},
  pages     = {370--374},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{BarringerFHRR12,
  author    = {Howard Barringer and
               Yli{\`{e}}s Falcone and
               Klaus Havelund and
               Giles Reger and
               David E. Rydeheard},
  title     = {{Q}uantified {E}vent {A}utomata: {T}owards {E}xpressive and {E}fficient {R}untime
               {M}onitors},
  booktitle = {{FM}},
  series    = {{LNCS}},
  volume    = {7436},
  pages     = {68--84},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{RegerCR15,
  author    = {Giles Reger and
               Helena Cuenca Cruz and
               David E. Rydeheard},
  title     = {{MarQ}: {M}onitoring at {R}untime with {QEA}},
  booktitle = {{TACAS}},
  series    = {{LNCS}},
  volume    = {9035},
  pages     = {596--610},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{BauerLS07,
  author    = {Andreas Bauer and
               Martin Leucker and
               Christian Schallhart},
  title     = {{T}he {G}ood, the {B}ad, and the {U}gly, but {H}ow {U}gly is {U}gly?},
  booktitle = {{RV}},
  series    = {{LNCS}},
  volume    = {4839},
  pages     = {126--138},
  publisher = {Springer},
  year      = {2007}
}
@inproceedings{Kupferman14,
  author    = {Orna Kupferman},
  title     = {{V}ariations on {S}afety},
  booktitle = {{TACAS}},
  series    = {{LNCS}},
  volume    = {8413},
  pages     = {1--14},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{AcetoAFI18,
  author    = {Luca Aceto and
               Antonis Achilleos and
               Adrian Francalanza and
               Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title     = {{A} {F}ramework for {P}arameterized {M}onitorability},
  booktitle = {{FoSSaCS}},
  volume    = {10803},
  pages     = {203--220},
  publisher = {Springer},
  year      = {2018}
}
@inproceedings{CassarF15,
  author    = {Ian Cassar and
               Adrian Francalanza},
  title     = {{O}n {S}ynchronous and {A}synchronous {M}onitor {I}nstrumentation for {A}ctor-{B}ased
               {S}ystems},
  booktitle = {{FOCLASA}},
  series    = {{EPTCS}},
  volume    = {175},
  pages     = {54--68},
  year      = {2014}
}
@inproceedings{CassarF16,
  author    = {Ian Cassar and
               Adrian Francalanza},
  title     = {{O}n {I}mplementing a {M}onitor-{O}riented {P}rogramming {F}ramework for {A}ctor
               {S}ystems},
  booktitle = {{IFM}},
  series    = {{LNCS}},
  volume    = {9681},
  pages     = {176--192},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{AttardF16,
  author    = {Duncan Paul Attard and
               Adrian Francalanza},
  title     = {{A} {M}onitoring {T}ool for a {B}ranching-{T}ime {L}ogic},
  booktitle = {{RV}},
  series    = {{LNCS}},
  volume    = {10012},
  pages     = {473--481},
  publisher = {Springer},
  year      = {2016}
}
@inproceedings{AttardF17,
  author    = {Duncan Paul Attard and
               Adrian Francalanza},
  title     = {{T}race {P}artitioning and {L}ocal {M}onitoring for {A}synchronous {C}omponents},
  booktitle = {{SEFM}},
  series    = {{LNCS}},
  volume    = {10469},
  pages     = {219--235},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{ChenRosu2009,
  author    = {Feng Chen and
               Grigore Rosu},
  title     = {{P}arametric {T}race {S}licing and {M}onitoring},
  booktitle = {{TACAS}},
  series    = {{LNCS}},
  volume    = {5505},
  pages     = {246--261},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{CassarF15b,
  author    = {Ian Cassar and
               Adrian Francalanza},
  title     = {{R}untime {A}daptation for {A}ctor {S}ystems},
  booktitle = {{RV}},
  series    = {{LNCS}},
  volume    = {9333},
  pages     = {38--54},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{FalconeFM08,
  author    = {Yli{\`{e}}s Falcone and
               Jean{-}Claude Fernandez and
               Laurent Mounier},
  title     = {{S}ynthesizing {E}nforcement {M}onitors wrt. the {S}afety-{P}rogress {C}lassification
               of {P}roperties},
  booktitle = {{ICISS}},
  series    = {{LNCS}},
  volume    = {5352},
  pages     = {41--55},
  publisher = {Springer},
  year      = {2008}
}
@inproceedings{Mattern89,
  author = {Friedemann Mattern},
  title = {{V}irtual {T}ime and {G}lobal {S}tates of {D}istributed {S}ystems},
  booktitle = {Parallel and Distributed Algorithms},
  year = {1989},
  pages = {215--226},
  publisher = {North-Holland}
}
@inproceedings{El-HokayemF17,
  author = {El-Hokayem, Antoine and Falcone, Yli{\`{e}}s},
  title = {{M}onitoring {D}ecentralized {S}pecifications},
  booktitle = {{ISSTA}},
  pages = {125--135},
  publisher = {ACM},
  year = {2017}
}
@inproceedings{ChauhanGNM13,
  author    = {Himanshu Chauhan and
               Vijay K. Garg and
               Aravind Natarajan and
               Neeraj Mittal},
  title     = {{A} {D}istributed {A}bstraction {A}lgorithm for {O}nline {P}redicate {D}etection},
  booktitle = {{SRDS}},
  pages     = {101--110},
  publisher = {{IEEE} Computer Society},
  year      = {2013}
}
@article{MittalG05,
  author    = {Neeraj Mittal and
               Vijay K. Garg},
  title     = {{T}echniques and {A}pplications of {C}omputation {S}licing},
  journal   = {Distributed Computing},
  volume    = {17},
  number    = {3},
  pages     = {251--277},
  year      = {2005}
}
@inproceedings{BonakdarpourFRR16,
  author    = {Borzoo Bonakdarpour and
               Pierre Fraigniaud and
               Sergio Rajsbaum and
               David A. Rosenblueth and
               Corentin Travers},
  title     = {{D}ecentralized {A}synchronous {C}rash-{R}esilient {R}untime {V}erification},
  booktitle = {{CONCUR}},
  series    = {LIPIcs},
  volume    = {59},
  pages     = {16:1--16:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2016}
}
@inproceedings{SenVAR06,
  author    = {Koushik Sen and
               Abhay Vardhan and
               Gul Agha and
               Grigore Rosu},
  title     = {{D}ecentralized {R}untime {A}nalysis of {M}ultithreaded {A}pplications},
  booktitle = {{IPDPS}},
  publisher = {{IEEE}},
  year      = {2006}
}
@inproceedings{MostafaB15,
  author    = {Menna Mostafa and
               Borzoo Bonakdarpour},
  title     = {{D}ecentralized {R}untime {V}erification of {LTL} {S}pecifications in {D}istributed
               Systems},
  booktitle = {{IPDPS}},
  pages     = {494--503},
  publisher = {{IEEE} Computer Society},
  year      = {2015}
}
@inproceedings{SenVAR04,
  author    = {Koushik Sen and
               Abhay Vardhan and
               Gul Agha and
               Grigore Rosu},
  title     = {{E}fficient {D}ecentralized {M}onitoring of {S}afety in {D}istributed {S}ystems},
  booktitle = {{ICSE}},
  pages     = {418--427},
  publisher = {{IEEE} Computer Society},
  year      = {2004}
}
@inproceedings{Scheffel014,
  author    = {Torben Scheffel and
               Malte Schmitz},
  title     = {Three-valued asynchronous distributed runtime verification},
  booktitle = {{MEMOCODE}},
  pages     = {52--61},
  publisher = {{IEEE}},
  year      = {2014}
}
@inproceedings{BasinKZ15,
  author    = {David A. Basin and
               Felix Klaedtke and
               Eugen Zalinescu},
  title     = {{F}ailure-{A}ware {R}untime {V}erification of {D}istributed {S}ystems},
  booktitle = {{FSTTCS}},
  series    = {LIPIcs},
  volume    = {45},
  pages     = {590--603},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2015}
}
@inproceedings{FraigniaudRT14,
  author    = {Pierre Fraigniaud and
               Sergio Rajsbaum and
               Corentin Travers},
  title     = {{O}n the {N}umber of {O}pinions {N}eeded for {F}ault-{T}olerant {R}un-{T}ime {M}onitoring
               in {D}istributed {S}ystems},
  booktitle = {{RV}},
  series    = {{LNCS}},
  volume    = {8734},
  pages     = {92--107},
  publisher = {Springer},
  year      = {2014}
}
@inproceedings{ClarkeKNZ11,
  author    = {Edmund M. Clarke and
               William Klieber and
               Milos Nov{\'{a}}cek and
               Paolo Zuliani},
  title     = {{M}odel {C}hecking and the {S}tate {E}xplosion {P}roblem},
  booktitle = {{LASER}},
  series    = {{LNCS}},
  volume    = {7682},
  pages     = {1--30},
  publisher = {Springer},
  year      = {2011}
}
@inproceedings{LaurentGP15,
  author    = {Jonathan Laurent and
               Alwyn Goodloe and
               Lee Pike},
  title     = {{A}ssuring the {G}uardians},
  booktitle = {{RV}},
  series    = {{LNCS}},
  volume    = {9333},
  pages     = {87--101},
  publisher = {Springer},
  year      = {2015}
}
@inproceedings{VerissimoRB89,
  author    = {Paulo Ver{\'{\i}}ssimo and
               Lu{\'{\i}}s E. T. Rodrigues and
               M. Baptista},
  title     = {{AM}p: {A} {H}ighly {P}arallel {A}tomic {M}ulticast {P}rotocol},
  booktitle = {{SIGCOMM}},
  pages     = {83--93},
  publisher = {{ACM}},
  year      = {1989}
}
@inproceedings{GrafPQ11,
  author    = {Susanne Graf and
               Doron A. Peled and
               Sophie Quinton},
  title     = {{M}onitoring {D}istributed {S}ystems {U}sing {K}nowledge},
  booktitle = {{FORTE}},
  series    = {{LNCS}},
  volume    = {6722},
  pages     = {183--197},
  publisher = {Springer},
  year      = {2011}
}
%
%
@techreport{HadzilacosToueg1994,
 author = {Vassos Hadzilacos and Sam Toueg},
 title = {{A} {M}odular {A}pproach to {F}ault-{T}olerant {B}roadcasts and {R}elated {P}roblems},
 year = {1994},
 publisher = {Cornell University}
}
@techreport{Lamport82,
    author = {Leslie Lamport and Michael Fischer},
    title = {{B}yzantine {G}enerals and {T}ransaction {C}ommit {P}rotocols},
    institution = {},
    year = {1982}
}
%
%
@inbook{FrancalanzaPS18,
  author = {Francalanza, Adrian and P{\'{e}}rez, Jorge A and S{\'{a}}nchez, C{\'{e}}sar},
  title = {{R}untime {V}erification for {D}ecentralised and {D}istributed {S}ystems},
  booktitle = {Lectures on Runtime Verification: Introductory and Advanced Topics},
  isbn = {978-3-319-75632-5},
  pages = {176--210},
  publisher = {Springer International Publishing},
  year = {2018}
}