Abdelkader Magdy Shaaban, Erwin Kristen, Christoph Schmittner
Browse the full SAFECOMP paper archive.