Kafalı, O., Yolum, P., “Detecting exceptions in commitment protocols: Discovering hidden states”, Languages, Methodologies and Development Tools for Multi Agent Systems, 6039, 112-127, 2010.