Extending statecharts for representing parts and wholes | IEEE Conference Publication | IEEE Xplore