OASIcs, Volume 55, WCET 2016