OASIcs, Volume 7, ATMOS 2007