@techreport{ifi1013koester,
  file = {ifi1013koester-hp.pdf},
  year = {2010},
  institution = {Clausthal University of Technology},
  title = {Abstraction for Model Checking Modular Interpreted Systems over ATL},
  author = {K{\"o}ster, Michael and Lohmann, Peter},
  number = {IfI-10-13},
  url = {http://www.in.tu-clausthal.de/fileadmin/homes/techreports/ifi1013koester.pdf},
  rgroup = {cig}
}