Releasing the button must stop the horn. Traceability Hierarchy Diagram
Element View:
Traceability Hierarchy Diagram
Property Sheet
Requirement Diagram
Traceability Spider Diagram