Phung, Khoa, Jayatilake, Dilshan, Ogunshile, Emmanuel, Aydin, M., "A Stream X-Machine tool for modelling and generating test cases for chronic diseases based on state-counting approach", Programming and Computer Software, 2021