A Large-Scale Technology Evaluation Study: Effects of Model-based Analysis and Testing. - Michael Kläs; Thomas Bauer; Andreas Dereani; Thomas Soderqvist; Philipp Helle (ICSE (2), 2015)