modelverse/techreport/general/images/example_transformation.dot

digraph {
    node [shape="point"]
    e [shape="oval",label="'E'"]
    d [color="red"]

    a -> b [label="'A'"]
    a -> c [label="'B'",color="blue",style="dashed"]
    b -> c [label="'D'",color="green",penwidth=4]
    d -> c [label="'C'",color="red",style="dotted"]
    a -> e [label="'F'"]
}