A stochastic process algebra approach to simulation of autoreactive lymphocytes recruitment.