(1)
Plump, D. Preface. ECEASST 2016, 73.