Jayatilake, Dilshan, Phung, Khoa, Ogunshile, Emmanuel, Aydin, Mehmet, "Modelling interrelationship between diseases with communicating stream x-machines", Proceedings of the Institute for System Programming of the RAS, 2025