digraph DRC_Controller {
  rankdir=LR;
  node [shape=circle, style=filled, fontname="Helvetica"];
  edge [fontname="Helvetica", fontsize=10];

  s00 [label="S(0,0)\nColdShut+Heatup+LoadFollow\nColdShut+LoadFollow", fillcolor=lightblue];
  s01 [label="S(0,1)\nSCRAM+Heatup+LoadFollow", fillcolor=lightgreen];
  s10 [label="S(1,0)\nSCRAM+LoadFollow", fillcolor=lightgreen];
  s11 [label="S(1,1)\nLoadFollow", fillcolor=gray90];

  init [shape=point, width=0.2];
  init -> s00;

  s00 -> s01 [label="5/16", penwidth=1.0];
  s00 -> s10 [label="11/16", penwidth=2.0];
  s01 -> s10 [label="always", penwidth=2.0];
  s10 -> s10 [label="always", penwidth=2.0];
}