Vandin, Andrea (2013) Specification and analysis of systems with dynamic structure. Advisor: Gadducci, Prof. Fabio. Coadvisor: Lluch Lafuente, Dr. Alberto . pp. 186. [IMT PhD Thesis]