selected publications chapter Consistency Testing: The RACE Experience. Lecture Notes in Computer Science. 2000