Compositor for Safety Specification