digraph file_graph {
node[shape="box"];
server[label="server.tla"]; workerSM[label="workerSM.tla"]; system[label="system.tla"]
server -> system;
workerSM -> system;



}