# This file is mechanically-generated DOT code.  Do NOT edit this file!
# See bin/cat_y2d, instead.

digraph G {
  concentrate="true"; rankdir="LR"; size="5,9"
  node[ fontsize="10", height="0.25", width="0.5", style="bold" ];
  edge[ style="bold" ];

  cmd_LBTBAD [ shape="box", label="LBTBAD" ];

  PBC [ shape="ellipse", label="PBC" ];

  cmd_LBTBAD -> PBC;
  req_5_3_1_2 [ shape="box", label="Req. 5.3.1.2" ];

  req_5_3_1_2 -> cmd_LBTBAD [ arrowhead="none", style="bold, dotted" ];

}