@inproceedings{ICMT-2015-GammaitoniK,
	author        = "Loïc Gammaitoni and Pierre Kelsen",
	booktitle     = "{Proceedings of the Eighth International Conference on Theory and Practice of Model Transformations}",
	doi           = "10.1007/978-3-319-21155-8_13",
	pages         = "166--180",
	title         = "{F-Alloy: An Alloy Based Model Transformation Language}",
	year          = 2015,
}