Bence Graics, Vince Molnár, András Vörös 0001, István Majzik, Dániel Varró. Mixed-semantics composition of statecharts for the component-based design of reactive systems. Software and Systems Modeling, 19(6):1483-1517, 2020. [doi]
Abstract is missing.