@article{BCKL19,
  title={Central limit model checking},
  author={Bortolussi, Luca and Cardelli, Luca and Kwiatkowska, Marta and Laurenti, Luca},
  journal={ACM Transactions on Computational Logic (TOCL)},
  volume={20},
  number={4},
  pages={1--35},
  year={2019},
  publisher={ACM New York, NY, USA}
}