Automatic Methods for the Refinement of System Models - Seiter, Julia (Springer International Publishing, 2020)