Engineering of Reliable and Secure Software via Customizable Integrated Compilation Systems. - Oliver Scherer (2021)