Nuno Gaspar, Ludovic Henrio, Eric Madelaine. Formally Reasoning on a Reconfigurable Component-Based System --- A Case Study for the Industrial World.
The 10th International Symposium on Formal Aspects of Component Software, Oct 2013, Nanchang, China.
⟨hal-00916115⟩