oclIsInState checks whether an object has 1 or more state machines defined and whether one of these state machines is currently in the state in question.

Article.allinstances->select(a|a.oclIsInState(#Manufacturing))

A state machine can be defined like this:

See also: State value as a string