This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributio

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl

Filling a new need in engineering education, Getting Design Right: A Systems Approach integrates aspects from both design and systems engineering to provide a s

Computers are gaining more and more control over systems that we use or rely on in our daily lives, privately as well as professionally. In safety-critical appl