Leibniz Transactions on Embedded Systems (Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, 2015)