Including contributors from experts from the Embedded Systems field, this book examines mainly theoretical issues & focuses on the modeling, validation & design techniques themselves. It then illustrates the use of these methods in various design contexts.