@conference{EckhardtAndWirsingWRLA, author = "Martin Wirsing and Jonas Eckhardt and Tobias M\ and Jos\'{e} Meseguer", booktitle = "Proc. 9th International Workshop on Rewriting Logic and its Applications (WRLA 2012)", doi = "10.1007/978-3-642-34005-5_4", month = "March", note = "partners: LMU and partners outside NESSoS (TU, Augsburg, Illinois); projects: NESSoS; NoTier cites:2", title = "{D}esign and {A}nalysis of {C}loud-{B}ased {A}rchitectures with {KLAIM} and {M}aude", year = "2012", }