State machine model features.

Here is the list of supported features for describing state machines: