@conference {3713,
	title = {Checking the Correctness of What-If Scenarios},
	booktitle = {11th IFIP WG 8.9 Working Conference (CONFENIS 2017)},
	year = {2017},
	publisher = {Springer},
	organization = {Springer},
	author = {Mariana Carvalho and Orlando Belo and Nuno Macedo}
}