MCMAS: A model checker for Multiagent systems - Lomuscio, A; Qu, H; Raimondi, F (2009)