An automata-based monitoring technique for commitment-based multi-agent systems