Oertel, Markus (2016) A linear scaling change impact analysis based on a formal safety model for automotive embedded systems. PhD, Universität Oldenburg.