Compiling Janus to RSSA. - Martin Kutrib; Uwe Meyer 003; Niklas Deworetzki; Marc Schuster (RC, 2021)