%0 Conference Paper
%B 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016)
%D 2016
%T Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
%A Nuno Macedo
%A Julien Brunel
%A David Chemouil
%A Alcino Cunha
%A Denis Kuperberg
%I IEEE
%> https://haslab.uminho.pt/sites/default/files/nmacedo/files/14.pdf