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