Practical Verification of Component Substitutability Using Subtype Relation | IEEE Conference Publication | IEEE Xplore