"Correct, fast, maintainable: choose any three!"

Bernard Blackham, Gernot Heiser (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics