Text this: Deciphering the Role of Circadian Clock in Inflammatory Response and Immune Disorders Using Model Checking and Petri Nets