Stack processor architecture and development methods suitable for dependable applications. - Mehdi Jallouli; Camille Diou; Fabrice Monteiro (ReCoSoC, 2007)