@doctoralThesis{Butkova_2020,
title={Towards efficient analysis of Markov automata},
author={Butkova, Yuliya},
doi={http://dx.doi.org/10.22028/D291-32744},
year={2020}
}