Dominique Borrione Amr Helmy Laurence Pierre Julien Schmaltz Executable formal specification and validation of NoC communication infrastructures. 176-181 2008 SBCCI http://doi.acm.org/10.1145/1404371.1404421 conf/sbcci/2008 db/conf/sbcci/sbcci2008.html#BorrioneHPS08