Integrating contract-based testing into model-driven software development - Güldali, Barış (Universitätsbibliothek, 2015)