selected publications chapter The STECC Framework - An Architecture for Self-Testable Components 2007