time,model_path,transition_type,next_ta,inputs,outputs,state
0.000000,Top.Sender1,INIT,1.000000,none,none,Cycles: 1
0.000000,Top.Sender2,INIT,1.000000,none,none,Cycles: 1
0.000000,Top.Receiver,INIT,inf,none,none,Cycles: 1
1.000000,Top.Sender1,INTERNAL,inf,none,out:[42],Cycles: 0
1.000000,Top.Receiver,EXTERNAL,inf,"in:[42, 42]",none,Cycles: 1
1.000000,Top.Sender2,INTERNAL,inf,none,out:[42],Cycles: 0