Next: 2.1 Black-Box Specifications Are Up: A Plea for Grey-Box Previous: 1 Introduction & Background