An ASM-based Model for Grid Job Management. - Alessandro Bianchi; Luciano Manelli; Sebastiano Pizzutilo (Informatica (Slovenia), 2013)