@Article{KNPS21,
author={Marta Kwiatkowska and Gethin Norman and David Parker and Gabriel Santos},
title={Automatic Verification of Concurrent Stochastic Systems},
journal={Formal Methods in System Design},
year={2021},

volume={58},
number={},
pages={188-250},
publisher={Springer},
month={},
note={},
key={}
}