Executable Digital Twin Authoring & Deployment