@INPROCEEDINGS{Broersen:AAMAS2010,
  author = {J.M. Broersen},
  title = {{CTL.STIT}: enhancing {ATL} to express important multi-agent system verification properties},
  booktitle = {AAMAS '10: Proceedings of the ninth international joint conference on Autonomous agents and multiagent systems (AAMAS 2010), Toronto, Canada},
  year = {2010},
  pages = {683-690},
  address = {New York, NY, USA},
  publisher = {ACM}
}