Text this: Mixed-semantics composition of statecharts for the component-based design of reactive systems.