Eternal Systems First InternationalWorkshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers - Moschitti, Alessandro; Scandariato, Riccardo (Springer Berlin Heidelberg : Imprint: Springer, 2012)