Multiformalism modeling and simulation of immune system mechanisms | IEEE Conference Publication | IEEE Xplore