Sebastian Junges, Dennis Guck, Joost-Pieter Katoen, Marille Stoelinga
Browse the full DSN paper archive.