"Wanted: software with assurance built-in."

Joe Jarzombek (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics