Formalizing Selected Mechatronic Component's Constraints in SysML Models | IEEE Conference Publication | IEEE Xplore