"The cyclefree methodology: a simple approach to building reliable, robust, ..."

Dick Mays, Richard J. LeBlanc (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics