icse15: Add StateMachine model type and editor