Model Integration with Model Weaving: a Case Study in System Architecture | IEEE Conference Publication | IEEE Xplore