Jelatine: a virtual machine for small embedded systems. - Giovanni Agosta; Stefano Crespi-Reghizzi; Gabriele Svelto (JTRES, 2006)