@conference {OliveiraBM:16,
	title = {Towards a Formal Validation of ETL Patterns Behavior},
	booktitle = {6th International Conference on Model and Data Engineering (MEDI 2016)},
	year = {2016},
	publisher = {Springer},
	organization = {Springer},
	author = {Bruno Oliveira and Orlando Belo and Nuno Macedo}
}