Behavioral Compatibility Analysis for Context-independent Service Substitution | IEEE Conference Publication | IEEE Xplore