Internal consistency:
- All states included?
- All states reachable?
- No dead-ends?
- All transitions specified (condition & action) ?
External consistency:
- Class name = class name in class diagram
- external triggers causing change of state should be identifiable in event partitioning list
- internal triggers should be identifiable in DFD