Arvind S. Krishna, Cemal Yilmaz, Atif M. Memon, Adam A. Porter, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan. Preserving Distributed Systems Critical Properties: A Model-Driven Approach. IEEE Software, 21(6):32-40, 2004. [doi]
Abstract is missing.