Abou-Jaoudé W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D.  2015.  Model checking to assess T-helper cell plasticity. Frontiers in Bioengineering and Biotechnology. 2(86)