Olivier Tardieu Robert de Simone Curing schizophrenia by program rewriting in Esterel. 39-48 2004 conf/memocode/2004 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2004.1459813 db/conf/memocode/memocode2004.html#TardieuS04