Digital Twin Certificates and Declarative Smart Actions