Title: An environment-based approach to the composition of safe systems