Breaking an application specific instruction-set processor: the first step towards embedded software testing. - John Dielissen; Benito Otero Mathijssen; Jos Huisken (HLDVT, 2002)