Tool-supported mechatronic system design | IEEE Conference Publication | IEEE Xplore