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)

The EMC2 Project on Embedded Microcontrollers: Technical Progress after Two Years. - Werner Weber; Alfred Hoess; Jan van Deventer; Frank Oppenheimer; Rolf Ernst; Adam Kostrzewa; Philippe Dore; Thierry Goubier; Haris Isakovic; Norbert Druml; Egon Wuchner; Daniel Schneider 001; et al. (DSD, 2016)