Taming distributed system complexity through formal patterns2014-04-010 OA AI DOI:10.1016/j.scico.2013.07.004OriginalShareSaveView PDFAbstract En