debugger for model-driven distributed communication systems