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