selected publications chapter Assessing Real-Time Component Contracts Through Built-in Evolutionary Testing. Lecture Notes in Computer Science. 2005