Matthias Bo Stuart, Mikkel Bystrup Stensgaard, Jens Sparsø: Synthesis of topology configurations and deadlock free routing algorithms for ReNoC-based systems-on-chip. CODES+ISSS 2009: 481-490