@inproceedings{ICMT-2014-OrejasP,
	author        = "Fernando Orejas and Elvira Pino",
	booktitle     = "{Proceedings of the Seventh International Conference on Theory and Practice of Model Transformations}",
	doi           = "10.1007/978-3-319-08789-4_6",
	editor        = "Davide Di Ruscio and Dániel Varró",
	isbn          = "978-3-319-08788-7",
	pages         = "74--90",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Correctness of Incremental Model Synchronization with Triple Graph Grammars}",
	volume        = 8568,
	year          = 2014,
}