Deciphering the Role of Circadian Clock in Inflammatory Response and Immune Disorders Using Model Checking and Petri Nets. - Hafeez Ur Rahman; Jamil Ahmad; Ainur Akhmediyarova; Dina Oralbekova; Orken Mamyrbayev (IEEE Access, 2024)