M. Magrini, A. Carboni, O. Salvetti, and O. Curzio. REHAB (Revised Selected Papers), volume 665 of Communications in Computer and Information Science, page 46-58. Springer, (2015)
G. Caimi, M. Fuchsberger, M. Laumanns, and K. Schüpbach. ATMOS, volume 7 of OASIcs, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)