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...