R. Rodrigues et al.,  8th Symp. on Languages, Applications and Technologies, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019