Feature of an engineered system that ties together system elements' states to prevent them from changing in a hazardous or incompatible way