@doctoralThesis{Torfah_2019,
title={Model counting for reactive systems},
author={Torfah, Hazem},
doi={http://dx.doi.org/10.22028/D291-30079},
year={2019}
}