@conference {MacedoCP:17,
	title = {Exploiting Partial Knowledge for Efficient Model Analysis},
	year = {2017},
	publisher = {Springer},
	organization = {Springer},
	address = {Pune, India},
	attachments = {https://haslab.uminho.pt/sites/default/files/nmacedo/files/symbolic17atva.pdf},
	author = {Nuno Macedo and Alcino Cunha and Eduardo Pessoa}
}