selected publications conference paper Applying static timing analysis to component architectures. . 2006