Towards a formally verified network-on-chip. - Tom van den Broek; Julien Schmaltz (FMCAD, 2009)