Figure 1. Dependencies among the chapters. Boxes with rounded corners represent appendices, boxes with square corners represent theoretical chapters, and ovals represent case-study chapters. A solid line means that one chapter is needed in order to understand another. A dashed line means that one chapter is not necessary for another, but may help the reader to understand it more deeply. The dependencies for Chapter 24 are not shown, because each of its sections would need a different set of lines.