An Interface Algebra for Real-Time Components | IEEE Conference Publication | IEEE Xplore