Christian Zebelein: A model-based approach for the specification and refinement of streaming applications. University of Rostock 2014, 1-191