Mossakowski, T.; Roggenbach, M.; Schröder, L. Preface. ECEASST 2013, 62.