Technical Report: Model Interconnection Procedures