@incollection{NelkeSachseThueringetal.2013,
  author    = {Tobias Nelke and Katharina Sachse and Manfred Th{\"u}ring and Cristina Olaverri-Monreal and Carsten Dlugosch and Klaus Bengler},
  title     = {An Approach to the Efficient Assessment of Safety and Usability of Computer-Based Control Systems (VeNuS 2)},
  booktitle = {7th meeting in the series of Enlarged Halden Program Group meetings},
  year      = {2013},
}