Kevin J. M. Martin, Christophe Wolinski, Krzysztof Kuchcinski, Antoine Floch, François Charot: Constraint-Driven Identification of Application Specific Instructions in the <i>DURASE</i> System. SAMOS 2009: 194-203