Preface - Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz (Electronic Communications of the EASST, 2013)