Laurence Pierre, Zeineb Bel Hadj Amor: Automatic refinement of requirements for verification throughout the SoC design flow. CODES+ISSS 2013: 29:1-29:10