Specifying Intra-Component Dependencies for Synthesizing Component Behaviors. - Stefan Dziwok; Sebastian Goschin; Steffen Becker 001 (ModComp@MoDELS, 2014)