Making systems—3: Development
XI   Verification
Chapter 53   Introduction

XXX reference back to the idea of a specification/requirement being a contract about the behavior and properties of a component or system Section 36.1