@inproceedings{DIB+8,
title = { Designing Systems with Detection and Reconfiguration Capabilities: {A} Formal Approach },
author = {Dragomir, Iulia and Iosti, Simon and Bozga, Marius and Bensalem, Saddek},
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 = {155--171},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11245},
team = {RSD},
}
