OASIcs, Volume 9, ATMOS 2008