digraph sample_boot {
  rankdir=LR;

  node [shape = doublecircle];
  CalcAction;

  node [shape = circle];

  CalcAction -> Alive;
  Alive -> CreateVM;
  CreateVM -> CheckBoot;
  CheckBoot -> CheckBoot;
  CheckBoot -> ConfigureVM;
}