Erős, Levente, and Tibor Csöndes. “Model-Driven Diagnostics of Underperforming Communicating Systems”. Acta Cybernetica 20, no. 4 (January 1, 2012): 461-481. Accessed March 28, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3822.