Automatic Methods for the Refinement of System Models - Seiter, Julia; Wille, Robert; Drechsler, Rolf; Drechsler, Rolf; Wille, Robert (Springer International Publishing, 2017)