@doctoralThesis{Eisentraut_2017,
title={Principles of Markov automata},
author={Eisentraut, Christian Georg},
doi={http://dx.doi.org/10.22028/D291-27164},
adress={Saarbrücken},
year={2017}
}