Detection of Plan Deviation in Multi-Agent Systems