UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal