@conference {MacedoBCCK:16,
	title = {Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations},
	booktitle = {24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)},
	year = {2016},
	publisher = {IEEE},
	organization = {IEEE},
	attachments = {https://haslab.uminho.pt/sites/default/files/nmacedo/files/14.pdf},
	author = {Nuno Macedo and Julien Brunel and David Chemouil and Alcino Cunha and Denis Kuperberg}
}