Immune system modeling and analysis using Bio-PEPA | IEEE Conference Publication | IEEE Xplore