High-Confidence Control
Ensuring Reliability in High-Performance Real-
Time Systems
Tariq Samad
Honeywell Automation and Control Solutions
Minneapolis, U.S.A.
tariq.samad@honeywell.com