@inproceedings{DMS8a,
title = {DReAM: Dynamic Reconfigurable Architecture Modeling },
author = {De Nicola, Rocco and Maggi, Alessandro and Sifakis, Joseph},
year = {2018},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {III}},
pages = {13--31},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11246},
team = {RSD},
}