Anna Krause: Variation-aware behavioural modelling using support vector machines and affine arithmetic. University of Hanover, Hannover, Germany 2019