/* automobile power window */

digraph {
  pad=0.5; bgcolor="lightgrey"; nodesep=1.2;
  node [shape="box"; style="filled";  fillcolor="cyan"];
  edge [labelfontsize=10; minlen=2; labeldistance=5 ];
  WINDOW_STOPPED -> WINDOW_GOING_UP [taillabel="EVT_UP_BUTTON"];
  WINDOW_STOPPED -> WINDOW_GOING_DN [taillabel="           EVT_DN_BUTTON"];
  WINDOW_GOING_UP -> WINDOW_STOPPED [taillabel="EVT_MOTOR_SENSE\n   \n"];
  WINDOW_GOING_DN -> WINDOW_STOPPED [taillabel="EVT_MOTOR_SENSE"];
  WINDOW_GOING_UP -> WINDOW_STOPPED [taillabel="         EVT_BUTTON_RELEASE"];
  WINDOW_GOING_DN -> WINDOW_STOPPED [taillabel="EVT_BUTTON_RELEASE"];
}