Real-time systems hold great significance in the fast paced life of today's world. Each processing step requires time only till the degree of a tenth of a second. This book discusses diverse aspects of real-time systems including specification and verification, architecture, scheduling and real world applications. It will serve as a valuable reference for researchers and students studying various disciplines impacted by embedded computing and software. It provides an understanding of the ongoing researches and developments in the field of real-time systems and communications networks. It also provides a medium for technology transition to real-time systems technologists, designers, system analysts and architects. Real-time applications are useful in daily operations like break mechanisms in cars, traffic light, air-traffic control, blood pressure and heart beat monitoring. The book extensively discusses the aspects of real-time under various themes: real word applications, specification and verification, architecture and scheduling.