Supervision and Diagnosis of Joint Actions in Multi-Agent Plans (Short Paper)