P. Brasen, M. Christoffersen, and M. Kraus. ArtsIT/DLI, volume 265 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 219-224. Springer, (2018)
L. Frede, M. Müller-Hannemann, and M. Schnee. ATMOS, volume 9 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)