Towards a rigorous architectural reuse | IEEE Conference Publication | IEEE Xplore