A Formal Development of Event Graphs as an Aid to Structured and Efficient Simulation Programs · Study