@article{smc,
    year={2015},
    issn={1433-2779},
    journal={International Journal on Software Tools for Technology Transfer},
    volume={17},
    number={4},
    doi={10.1007/s10009-014-0361-y},
    title={Uppaal SMC tutorial},
    url={http://dx.doi.org/10.1007/s10009-014-0361-y},
    publisher={Springer Berlin Heidelberg},
    keywords={Uppaal; Timed automata; Model-checking; Statistical model-checking; Stochastic; Hybrid; Dynamical; Probabilistic},
    author={David, Alexandre and Larsen, Kim Guldstrand and Legay, Axel and Miku\v{c}ionis, Marius and Poulsen, Danny B{\o}gsted},
    pages={397-415},
    language={English}
}