Mehdi Jallouli Camille Diou Fabrice Monteiro Stack processor architecture and development methods suitable for dependable applications. 69-75 2007 conf/recosoc/2007 ReCoSoC db/conf/recosoc/ReCoSoC2007.html#JallouliDM07