Digital Twins Definition Language