@inproceedings{ballarini2011cosmos,
  author    = {Ballarini, Paolo and Djafri, Hilal and Duflot, Marie and Haddad, Serge and Pekergin, Nihal},
  title     = {{COSMOS}: A Statistical Model Checker for the Hybrid Automata Stochastic Logic},
  booktitle = {Quantitative Evaluation of Systems (QEST)},
  pages     = {143--144},
  year      = {2011},
}