 exhaustively described. Nei- ther are there any specific chapters on AML. Instead, AML notations and specifica- tion techniques are introduced throughout. Chapter 1, "Introduction to systems modelling", provides a background to sys- tems modelling. It introduces the processing system paradigm and discusses the need for a systems taxonomy. It also discusses the author's view on require- ments that systems modelling methods should fulfil. This chapter can be read by anyone who has a general interest in methods for model-based systems engi- neering. Chapter 2, "Foundations of sysnet modelling", gives the theoretical foundations for systems modelling, based on the processing system and the sysnet para- digms. Readers may profit the most from this chapter when returning to it after reading other parts of the book. Chapter 3, "Logical network modelling", and Chap. 4, "Physical network mod- elling" are intended for readers who have a specific interest in modelling tele- communication systems. A number of well-known telecom system types are used as examples. Chapter 3 focuses on how telecom systems and networks appear in the distribution and communication dimensions of functional space. Model types of concern are logical networks. Chapter 4 describes modelling of physical network structures. In particular, the distinction between physical and logical networks in the context of telecommunication standards is discussed. Chapter 6, "Process control system modelling", and Chap. 7, "Concepts and notations for process control systems modelling", deal only with modelling in a distribution-transparent way. Model types of concern are service networks and abstract networks. Chapter 6 discusses modelling of the process control sys- tem of a small telecom network, as an introduction to Chap. 7. Chapter 7 describes the different techniques and notations for structural and behavioural specification of process control systems. These chapters should be of interest to most system engineers, including software designers. Chapter 5, "Prot