Part-whole Statecharts for the Explicit Representation of Compound Behaviors