Generation of Digital Twins Based on SysML Models and Their Systematic Use for Early System Validation