Immune system modeling and analysis using Bio-PEPA. - Roxana Dorina Moldovan; Eneia Nicolae Todoran (ICCP, 2015)