Making systems3: Development
VIII   Specifications
Chapter 38   Models