Designing Emergency Relief Devices for Reactive Systems