Model verification for system design of complex mechatronic products Article in Systems Engineering (August 2018)