Dominique Borrione Amr Helmy Laurence V. Pierre Julien Schmaltz A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study. 127-136 2007 conf/nocs/2007 NOCS http://doi.ieeecomputersociety.org/10.1109/NOCS.2007.1 db/conf/nocs/nocs2007.html#BorrioneHPS07