Marco Kuhrmann Kurt Schneider Dietmar Pfahl Sousuke Amasaki Marcus Ciolkowski Regina Hebig Paolo Tell Jil Klünder Steffen Küpper PROFES Springer 2018 Lecture Notes in Computer Science 11271 978-3-030-03672-0 978-3-030-03673-7 https://doi.org/10.1007/978-3-030-03673-7 db/conf/profes/profes2018.html