digraph G { rankdir=LR; overlap=scale; concentrate=true; 
            size="100,100"; 
            label="Control_Relay"; labelloc="t"; fontsize=28; 

// Generate Node Definitions

{ rank=sink; gId_4_5_outputNodeId[label="Control\ Relay", shape=ellipse,peripheries=2]; }
gId_11_5_processNodeId[label="Lower\ Set\ Point", shape=ellipse];
{ rank=sink; gId_4_5_outputNodeId[label="Control\ Relay", shape=ellipse,peripheries=2]; }
gId_10_5_processNodeId[label="Upper\ Set\ Point", shape=ellipse];

//////////////////////////////////////////////////////////
// Generate Requirement Description node
ReqRow_18[label="REQ2:\ While\ the\ Furnace\ Mode\ is\nOff,\ if\ the\ Sampled\ Temperature\nfalls\ below\ the\ Lower\ Setpoint\ the\nFCS\ shall\ turn\ the\ Control\ Relay\ On.", shape=box];

// Generate output link(s) from Process (requirement) description node to Defined Name
ReqRow_18 -> gId_4_5_outputNodeId;

// Generate link(s) from argument(s)
// into the Process (requirement) description node
gId_23_5_processNodeId_ReqRow_18[label="Furnace\ Mode", shape=ellipse,fillcolor=palegreen,style=filled];
gId_23_5_processNodeId_ReqRow_18 -> ReqRow_18;
gId_24_5_processNodeId_ReqRow_18[label="Sampled\ Temperature\nAKA\nMeasured\ Temperature\nIndoor\ Temperature", shape=ellipse,fillcolor=palegreen,style=filled];
gId_24_5_processNodeId_ReqRow_18 -> ReqRow_18;
gId_11_5_processNodeId -> ReqRow_18;
//////////////////////////////////////////////////////////

//////////////////////////////////////////////////////////
// Generate Requirement Description node
ReqRow_22[label="REQ5:\ While\ the\ Furnace\ Mode\ is\ On,\nif\ the\ Sampled\ Temperature\ rises\nabove\ the\ Upper\ Setpoint,\ the\ FCS\nshall\ turn\ the\ Control\ Relay\ Off.", shape=box];

// Generate output link(s) from Process (requirement) description node to Defined Name
ReqRow_22 -> gId_4_5_outputNodeId;

// Generate link(s) from argument(s)
// into the Process (requirement) description node
gId_23_5_processNodeId_ReqRow_22[label="Furnace\ Mode", shape=ellipse,fillcolor=palegreen,style=filled];
gId_23_5_processNodeId_ReqRow_22 -> ReqRow_22;
gId_24_5_processNodeId_ReqRow_22[label="Sampled\ Temperature\nAKA\nMeasured\ Temperature\nIndoor\ Temperature", shape=ellipse,fillcolor=palegreen,style=filled];
gId_24_5_processNodeId_ReqRow_22 -> ReqRow_22;
gId_10_5_processNodeId -> ReqRow_22;
//////////////////////////////////////////////////////////
}