Contains java project code for implementing distributed timed automata