(1)
Ermel, C.; Hoffmann, K. Preface. ECEASST 2011, 40.