@Article{KNPS20c,
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={}
}