The HasSafetyStates reference provides the relationship of safety states to a controller. The InverseName is SafetyStatesOf.