I. Introduction & Motivation
Over the last decades, rapid progress in the development of computing machines has led to ever-more widespread de-ployment. The resulting embedded systems have dramatically changed our life. They are installed in our phones, tablets, coffee machines, tooth brushes, washing machines, and many more. Moreover, we also put our lives into the hands of embedded systems when they are e.g. controlling medical or transportation devices as in implants or airplanes, respectively.