Specifying and verifying multiagent systems using the cognitive agents specification language (CASL) | lit.salon