It would be very helpful to understand by glancing at the class symbol on a class diagram whether a given class has a state model.