Title: On synchronized statecharts