@inproceedings{ICMT-2015-ChengMP,
	author        = "Zheng Cheng and Rosemary Monahan and James F. Power",
	booktitle     = "{Proceedings of the Eighth International Conference on Theory and Practice of Model Transformations}",
	doi           = "10.1007/978-3-319-21155-8_11",
	pages         = "133--148",
	title         = "{A Sound Execution Semantics for ATL via Translation Validation — Research Paper}",
	year          = 2015,
}