OASIcs, Volume 65, ATMOS'18, Complete Volume - Borndörfer, Ralf; Storandt, Sabine; Ralf Borndörfer and Sabine Storandt (2018)