Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg To cite this version:

First Page		Document Content
Date: 2016-08-22 10:24:41		Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg To cite this version: Add to Reading List Source URL: hal.archives-ouvertes.fr Download Document from Source Website File Size: 1,10 MB Share Document on Facebook