Mixed-semantics composition of statecharts for the component-based design of reactive systems. - Graics, Bence; Molnár, Vince; Vörös, András; Majzik, István; Varró, Dániel (Software & Systems Modeling, 2020)