@inproceedings{20792,
  author       = {{Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}},
  booktitle    = {{Dependable Software Engineering, 3rd International Symposium (SETTA 2017)}},
  editor       = {{Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji}},
  number       = {{10606}},
  pages        = {{319--336}},
  publisher    = {{Springer}},
  title        = {{{How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach}}},
  doi          = {{10.1007/978-3-319-69483-2_19}},
  year         = {{2017}},
}