A Tool Architecture to Verify Properties of Multiagent System at Runtime. - Denis Meron; Bruno Mermet (PROMAS, 2006)