a) a form of machine synchronization is already supported in the latest ECharts (and E4SS) release (see
http://echarts.org/Latest/ECharts-1.3-beta-Released.html) - see the notes regarding mixed state machines - is this what you are referring to?
b) machine inheritance is not happening any time soon i'm afraid - the next release of ECharts (Q1 2009) will support machine variables, which is a pre-requisite for machine inheritance - my plan was to work on support for exception handling after that since there is a need for it in some of our projects - there hasn't been a need for inheritance which is why it's at the bottom of the priority queue at the moment - you should realize that ECharts already provides support for overriding and customizing machine behavior by using transition priorities so perhaps this would satisfy your needs (it works well for us

)