Journal-Paper & Beiträge zu wissenschaftlichen Konferenzen Journal-Paper in JFDE 2020 OTTI 2017 PLEA 2017 ne-xt facades 2017