@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{GZC+:2016,
  author        = {Fan Gu and Xinqian Zhang and Mingsong Chen and Daniel Gro{\ss}e and Rolf Drechsler},
  title		= {Quantitative Timing Analysis of {UML} Activity Diagrams Using Statistical Model Checking},
  booktitle     = date,
  pages         = {780--785},
  year		= 2016
}