Mixed-semantics composition of statecharts for the component-based design of reactive systems