Automatic Methods for the Refinement of System Models From the Specification to the Implementation - Seiter, Julia; Wille, Robert; Drechsler, Rolf (Springer International Publishing : Imprint: Springer, 2017)