L. Erős and T. Csöndes, “Model-driven diagnostics of underperforming communicating systems”, Acta Cybern, vol. 20, no. 4, pp. 461-481, Jan. 2012.