Zaslat záznam emailem: Model Checking to Assess T-Helper Cell Plasticity