Publisher's Synopsis
To promote adequate and consistent design of embedded systems with dependability requirements, this book is primarily dedicated to practitioners and specialists, as well as to students in computer, electrical and automation engineering.