(Promela) First version which was able to generate the full scheduler for a network without any manual hacking.