Maggi, Alessandro (2020) The DReAM framework: a logic-inspired approach to reconfigurable system modeling. Advisor: De Nicola, Prof. Rocco. Coadvisor: Sifakis, Prof. Joseph . pp. 172. [IMT PhD Thesis]