Comparison of Event-B and B Method: Application in Immune System. - Sheng-rong Zou; Chen Wang; Si-ping Jiang; Li Chen (ICSI (1), 2018)