Julia Seiter: Formal model refinement: from specification to implementation. University of Bremen, Germany 2015, 1-137