Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification | IEEE Conference Publication | IEEE Xplore