Title: Specifying and verifying multiagent systems using the cognitive agents specification language (CASL)