A SysML based methodology for manufacturing system modeling and design