Yes this article was complimentary about Ultimate++. In the paper version, there were some little examples to show some ultimate++ features. Other people in my firm have read it but have not tried Ultimate++
Like you can see, it's english which is limited for me