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 June 29, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3822.