Wytse Oortwijn promotor: prof.dr. M. Huisman (UT) University of Twente Date: 12 December 2019 Thesis: PDF Summary Software has integrated deeply into modern society, not only for small conveniences and entertainment, but also for safety-critical tasks. As we increasingly depend on software in our daily life, it becomes increasingly important …