Debugger for Model-Driven Distributed Communication Systems