@Article{DFK+15,
author={K. Draeger and V. Forejt and M. Kwiatkowska and D. Parker and M. Ujma},
title={Permissive Controller Synthesis for Probabilistic Systems},
journal={Logical Methods in Computer Science},
year={2015},

volume={11},
number={2},
pages={},
publisher={},
month={},
note={},
key={}
}