Multi-view methodology for the design of embedded mechatronic control systems | IEEE Conference Publication | IEEE Xplore