Increasing complexity, performance & reliability expectations make effective modeling of automotive systems both more difficult & more urgent. This book contains cutting-edge research & examines the issue from both industrial & academic perspectives.