@conference{ESSOSdocSymp, author = "Tobias M{\"u}hlbauer and Jonas Eckhardt", booktitle = "Proceedings of the first ESSoS Doctoral Symposium", issn = "1613-0073", note = "PARTNERS: LMU; PROJECTS: NESSoS; NoTier citations: 0", title = "{E}nhancing {S}afety and {S}ecurity of {D}istributed {S}ystems through {F}ormal {P}atterns", year = "2012", }