Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, this book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis.