Behavioral Compatibility of Active Components | IEEE Conference Publication | IEEE Xplore