@article{ballarini2016hasl,
  author    = {Ballarini, Paolo and Djafri, Hilal and Duflot, Marie and Haddad, Serge and Pekergin, Nihal},
  title     = {{HASL}: An expressive language for statistical verification of stochastic models},
  journal   = {The Computer Journal},
  volume    = {59},
  number    = {12},
  pages     = {1817--1830},
  year      = {2016},
}