Eternal Systems: First International Workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers (Communications in Computer and Information Science, Band 255)