Preserving distributed systems critical properties: a model-driven approach | IEEE Journals & Magazine | IEEE Xplore