Automated analysis and fine-tuning of timing properties in embedded real-time systems.

David B. Stewart
Published in: ACM SIGSOFT Softw. Eng. Notes (2000)