Erős, Levente, and Tibor Csöndes. 2012. “Model-Driven Diagnostics of Underperforming Communicating Systems”. Acta Cybernetica 20 (4), 461-81. https://doi.org/10.14232/actacyb.20.4.2012.1.