Releasing the button must stop the horn. Traceability Hierarchy Diagram

Element View:
Releasing the button must stop the horn.Releasing the button must stop the horn.