Weaving System-Level Properties with Architectural Decomposition for Mechatronic Co-Design | IEEE Conference Publication | IEEE Xplore