format_version: "0.1"
id: g_timer_latch_mix
name: "timer latch mix (graphical LD twin)"
domain: elevator
language: LD-graphical
source:
  origin: authored
  reference: "Graphical twin of ld_timer_latch_mix: a timer drives a set coil and an acknowledgement drives the reset coil"
  license: CC-BY-4.0
properties_file: props.yaml
safety_intent: "Acknowledge is dominant: the latched alarm and Ack must never hold together."
validation_status: candidate
syntax_pair_of: ld_timer_latch_mix
variants:
  - file: program.xml
    expected_verdict: true
    ground_truth:
      method: expert
metrics:
  rungs: 3
  pous: 1
  variables: 4
features: [contacts, set_coil, reset_coil, timer_ton]
difficulty: medium
tags: [feature, semantics, syntax-pair, timer]