"Model/analyzer: a tool for detecting, visualizing and fixing design errors ..."

Alexander Reder, Alexander Egyed (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics