A model for the semantics of component interactions of cyber-physical systems. - Felix Bangemann; Christian Diedrich; Johannes Reich (ISIE, 2016)