Gwen Salaün Wendelin Serwe Yvain Thonnart Pascal Vivet Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. 73-82 2007 conf/async/2007 ASYNC http://doi.ieeecomputersociety.org/10.1109/ASYNC.2007.18 db/conf/async/async2007.html#SalaunSTV07