T. Mossakowski, M. Roggenbach, and L. Schröder, “Preface”, ECEASST, vol. 62, Sep. 2013.