Integration of business and production layer: Modeling and execution of vertical smart factory processes / submitted by Ioan-Alexandru Schärfl