selected publications academic article Real-time analysis of priority-preemptive NoCs with arbitrary buffer sizes and router delays. Real-time Systems. 55:63-105. 2018