A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment