Schäge. TOPAS. ACM Press, 2015, doi:10.1145/2810103.2813683.