@doctoralThesis{Khlifi_2020,
title={Modeling and formal verification of probabilistic reconfigurable systems},
author={Khlifi, Oussama},
doi={http://dx.doi.org/10.22028/D291-32487},
year={2020}
}