Special thanks to our sponsors:

National Science Foundation (www.nsf.gov)

Dr. Helen Gill, program director

HyCON: Runtime Monitoring and Model Checking for High-Confidence Systems Software, NSF CSR-AES05-09230

MODES: Model Based Design and Verification of Embedded Systems, NSF CAREER CCR01-33583