LIPIcs, Volume 76, ECRTS 2017