Boyer, ArnaudArnaudBoyerTenbergen, BastianBastianTenbergenVelasco, SantiagoSantiagoVelascoAntonino, PabloPabloAntoninoBattram, PeterPeterBattramBuono, SuryoSuryoBuonoKaiser, BernhardBernhardKaiserZander, JustynaJustynaZanderBizik, KaiKaiBizikProhaska, AlexanderAlexanderProhaskaKäßmeyer, MichaelMichaelKäßmeyer2022-03-052022-03-052016https://publica.fraunhofer.de/handle/publica/24770810.1007/978-3-319-48003-9_10Most embedded systems in the automotive, avionics, or automation domains are safety-critical systems which are subject to strict safety standards and regulatory guidelines which govern the development process.enbook article