Compositional synthesis of safety controllers by