GDT4MAS : a formal model and language to specify and verify multiagent systems