Mohamed, Mohamed El Menshawy (2012) Model Checking Logics of Social Commitments for Agent Communication. PhD thesis, Concordia University.