Hao Shen Frédéric Pétrot MPSoC Communication Architecture Exploration Using an Abstraction Refinement Method. 403-408 2008 VLSI Design http://doi.ieeecomputersociety.org/10.1109/VLSI.2008.64 conf/vlsid/2008 db/conf/vlsid/vlsid2008.html#ShenP08