Conceptual design of mechatronic systems supported by semi-formal specification | IEEE Conference Publication | IEEE Xplore