Speci cation and Veri cation of Multi-Agent Systems Course Reader