Strong and weak contract formalism for third-party component reuse | IEEE Conference Publication | IEEE Xplore