@Article{David2015,
  author="David, Alexandre and Larsen, Kim G. and Legay, Axel and Miku{\v{c}}ionis, Marius and Poulsen, Danny B{\o}gsted",
  title="Uppaal SMC tutorial",
  journal="International Journal on Software Tools for Technology Transfer",
  year="2015",
  month="Aug",
  day="01",
  volume="17",
  number="4",
  pages="397--415",
  abstract="This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic. We demonstrate the modeling features of the tool, new verification algorithms and ways of applying them to potentially complex case studies.",
  issn="1433-2787",
  doi="10.1007/s10009-014-0361-y",
  url="https://doi.org/10.1007/s10009-014-0361-y"
}