Foundations for Digital Twins