On Statecharts with Overlapping. - David Harel; Chaim-Arie Kahana (ACM Trans. Softw. Eng. Methodol., 1992)