The verification of a novel framework for real-time shared medium communication network protocols. - Yusuf Bora Kartal; Ece Guran Schmidt; Klaus Werner Schmidt (SIU, 2012)

Dependability design for distributed real-time systems with broadcast communication / ; Yaygın haberleşme yapan gerçek zamanlı dağıtık sistemler için güvenilirlik tasarımı. - Yusuf Bora Kartal (2014)

Modeling Distributed Real-Time Systems in TIOA and UPPAAL. - Yusuf Bora Kartal; Ece Guran Schmidt; Klaus Werner Schmidt (ACM Trans. Embed. Comput. Syst., 2016)