Eternal systems : first international workshop, EternalS 2011, Budapest, Hungary, May 3, 2011 : revised selected papers - Alessandro Moschetti, editor ([Springer-Verlag, ], 2012)