A. Bianchi, L. Manelli, and S. Pizzutilo, “An ASM-based Model for Grid Job Management”, IJCAI, vol. 37, no. 3.