CTL.STIT: enhancing ATL to express important multi-agent system verification properties